SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > representsInLanguage
Next TernaryPredicate: temporallyBetween    Up: TernaryPredicate    Previous TernaryPredicate: representsForAgent   

representsInLanguage 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
(=>
 	(instance ?REL TernaryPredicate)
 	(valence ?REL 3))
TernaryRelation 
representsInLanguageLanguageEntityPhysicalA very general predicate. (representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the instance of Physical ?THING stands for ?ENTITY in the language ?LANGUAGE
(=>
    (representsInLanguage ?REP ?ENTITY ?LANGUAGE)
    (exists (?AGENT)
       (representsForAgent ?REP ?ENTITY ?AGENT)))
 TernaryPredicate

Next TernaryPredicate: temporallyBetween    Up: TernaryPredicate    Previous TernaryPredicate: representsForAgent