SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > representsForAgent |
representsForAgent comparison table |
Subject | have domain3 | have domain2 | have domain1 | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
TernaryPredicate | The Class of Predicates that require exactly three arguments | (=> | TernaryRelation | ||||
representsForAgent | Agent | Entity | Physical | A very general predicate. (representsForAgent ?THING ?ENTITY ?AGENT) means that the ?AGENT chooses to use the instance of Physical ?THING to 'stand for' ?ENTITY | (=> | TernaryPredicate |
Next TernaryPredicate: representsInLanguage Up: TernaryPredicate Previous TernaryPredicate: relatedExternalConcept