Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - inverse
inverse

appearance as argument number 1
-------------------------


(instance inverse BinaryPredicate) Merge.kif 106-106 inverse is an instance of binary predicate
(instance inverse IrreflexiveRelation) Merge.kif 107-107 inverse is an instance of irreflexive relation
(instance inverse IntransitiveRelation) Merge.kif 108-108 inverse is an instance of intransitive relation
(instance inverse SymmetricRelation) Merge.kif 109-109 inverse is an instance of symmetric relation
(instance inverse PartialValuedRelation) Merge.kif 110-110 inverse is an instance of partial valued relation
(domain inverse 1 BinaryRelation) Merge.kif 111-111 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 112-112 The number 2 argument of inverse is an instance of binary relation
(documentation inverse EnglishLanguage "The inverse of a BinaryRelation is a Relation in which all the tuples of the original Relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped.") Merge.kif 113-116 The number 2 argument of inverse is an instance of binary relation

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage inverse "inverse") domainEnglishFormat.kif 30825-30825
(termFormat ChineseTraditionalLanguage inverse "逆") domainEnglishFormat.kif 30826-30826
(termFormat ChineseLanguage inverse "逆") domainEnglishFormat.kif 30827-30827
(format EnglishLanguage inverse "%1 is %n an inverse of %2") english_format.kif 312-312

appearance as argument number 0
-------------------------


(inverse greaterThan lessThan) Merge.kif 1953-1953 greater than is an inverse of less than
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1982-1982 greater than or equal to is an inverse of less than or equal to
(inverse smaller larger) Merge.kif 7954-7954 smaller is an inverse of larger
(inverse husband wife) Merge.kif 16932-16932 husband is an inverse of wife


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners