expression:towards

http://www.estrellaproject.org/lkif-core/expression.owl#towards
Property expression:towards

Annotations

rdfs:comment

A towards relation between a propositional attitude and a proposition expresses that the attitude is held towards that proposition. Qualification of the proposition can be either true or false, i.e. the attitude denotes whether the proposition is either true or false.

Property Axioms

owl:inverseOf

expression:attitude

rdfs:domain

expression:Propositional_Attitude

rdfs:range

expression:Proposition

Other Properties

rdf:type

owl:ObjectProperty

References

as owl:equivalentClass (norm:Disallowed_Intention, norm:Belief_In_Violation, expression:Propositional_Attitude)
as owl:inverseOf (expression:attitude)
as rdfs:subClassOf (action:Action, expression:Propositional_Attitude, laction:Decision, laction:Decision)
as rdfs:subPropertyOf (expression:evaluates, expression:states)

References
as owl:equivalentClass (norm:Disallowed_Intention, norm:Belief_In_Violation, expression:Propositional_Attitude) as owl:inverseOf (expression:attitude) as rdfs:subClassOf (action:Action, expression:Propositional_Attitude, laction:Decision, laction:Decision) as rdfs:subPropertyOf (expression:evaluates, expression:states)

Generated with TopBraid Composer by TopQuadrant, Inc.

http://www.estrellaproject.org/lkif-core/expression.owl#towards Property expression:towards

http://www.estrellaproject.org/lkif-core/expression.owl#towards
Property expression:towards