expression:Proposition

http://www.estrellaproject.org/lkif-core/expression.owl#Proposition
Class expression:Proposition

Annotations

rdfs:comment

A (non logical) proposition is a proposition qualified by a propositional attitude. NB: The proposition used here does not correspond to a proposition in proposition logics.

NOTE: In previous versions of this ontology, this class was called 'Qualified'. In lieu of the separation between Proposition and Propositional_Attitude, the intended meaning of that class has been moved to 'Evaluative_Proposition'

Class Axioms

rdfs:subClassOf

expression:attitude all expression:Propositional_Attitude

top:Mental_Object

Other Properties

rdf:type

owl:Class

References

as owl:equivalentClass (expression:Propositional_Attitude)
as rdfs:domain (expression:attitude)
as rdfs:range (expression:towards)
as rdfs:subClassOf (expression:Expression, expression:Expectation, expression:Fact, expression:Assumption, expression:Reason, expression:Exception, expression:Propositional_Attitude, expression:Evaluative_Proposition, expression:Evidence)

References
as owl:equivalentClass (expression:Propositional_Attitude) as rdfs:domain (expression:attitude) as rdfs:range (expression:towards) as rdfs:subClassOf (expression:Expression, expression:Expectation, expression:Fact, expression:Assumption, expression:Reason, expression:Exception, expression:Propositional_Attitude, expression:Evaluative_Proposition, expression:Evidence)

Generated with TopBraid Composer by TopQuadrant, Inc.

http://www.estrellaproject.org/lkif-core/expression.owl#Proposition Class expression:Proposition

http://www.estrellaproject.org/lkif-core/expression.owl#Proposition
Class expression:Proposition