lkif-expr:Proposition

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

rdf:type

owl:Class

rdfs:comment

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'

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.

rdfs:subClassOf

lkif-expr:attitude only lkif-expr:Propositional_Attitude

lkif-top:Mental_Object

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

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

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