Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inverse
inverse

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


(documentation inverse ChineseLanguage "BinaryRelation的相反是一种Relation,而属于它 原本Relation所有元组的值都逆转。 换句话说,当一种二元关系和另一种二元关系的参数交换的结果是相等的 话,那这BinaryRelation就是另一种的相反。") Merge.kif 123-125
(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 119-122
(domain inverse 1 BinaryRelation) Merge.kif 117-117 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 118-118 The number 2 argument of inverse is an instance of binary relation
(instance inverse BinaryPredicate) Merge.kif 112-112 inverse is an instance of binary predicate
(instance inverse IntransitiveRelation) Merge.kif 114-114 inverse is an instance of intransitive relation
(instance inverse IrreflexiveRelation) Merge.kif 113-113 inverse is an instance of irreflexive relation
(instance inverse PartialValuedRelation) Merge.kif 116-116 inverse is an instance of partial valued relation
(instance inverse SymmetricRelation) Merge.kif 115-115 inverse is an instance of symmetric relation

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


(format ChineseLanguage inverse "%1 %n 是 %2 的 inverse") chinese_format.kif 307-307
(format EnglishLanguage inverse "%1 is %n an inverse of %2") english_format.kif 186-186
(termFormat ChineseLanguage inverse "逆向") chinese_format.kif 308-308 "逆向" is the printable form of inverse in ChineseLanguage
(termFormat EnglishLanguage inverse "inverse") domainEnglishFormat.kif 5554-5554 "inverse" is the printable form of inverse in english language

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


(inverse greaterThan lessThan) Merge.kif 1915-1915 greater than is an inverse of less than
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1946-1946 greater than or equal to is an inverse of less than or equal to
(inverse husband wife) Merge.kif 16821-16821 husband is an inverse of wife
(inverse smaller larger) Merge.kif 7980-7980 smaller is an inverse of larger


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners