SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > hasPurposeForAgent |
hasPurposeForAgent | ||||
subject | fact |
hasPurposeForAgent | documentation Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?FORMULA. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this Predicate | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has domain1 Physical | ||
has domain2 Formula | ||
has domain3 Agent | ||
is an instance of TernaryPredicate | ||
Predicate | is first domain of singleValued | |
Relation | is second domain of subrelation | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |