represents Comparison Table

Next BinaryPredicate: sentenceOfLanguage Up: BinaryPredicate Previous BinaryPredicate: relatedInternalConcept

represents comparison table

Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of

BinaryPredicate A Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate

represents Entity Physical A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing
(=>
(represents ?REP ?ENTITY)
(exists (?LANGUAGE)
(representsInLanguage ?REP ?ENTITY ?LANGUAGE)))
BinaryPredicate

Subject	have domain2	have domain1	documentation	have axiom	is a kind of	is an instance of
BinaryPredicate			A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
represents	Entity	Physical	A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing	(=> (represents ?REP ?ENTITY) (exists (?LANGUAGE) (representsInLanguage ?REP ?ENTITY ?LANGUAGE)))		BinaryPredicate

Next BinaryPredicate: sentenceOfLanguage Up: BinaryPredicate Previous BinaryPredicate: relatedInternalConcept