SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > sentenceOfLanguage

sentenceOfLanguage comparison table

Subject	have domain2	have domain1	be first domain of	documentation	have axiom	is a kind of	is an instance of
AsymmetricRelation			trichotomizingOn	A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation	(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))	IrreflexiveRelation
BinaryPredicate			singleValued	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
sentenceOfLanguage	Language	Sentence	singleValued	(sentenceOfLanguage ?SENT ?LANG) means that ?SENT is a Sentence of the Language ?LANG	(<=> (sentenceOfLanguage ?SENT ?LANGUAGE) (exists (?PROP) (representsInLanguage ?SENT ?PROP ?LANGUAGE)))		BinaryPredicate

Next AsymmetricRelation: singleValued    Up: AsymmetricRelation, BinaryPredicate    Previous AsymmetricRelation: right