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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inverse

 Sigma KEE - inverse
inverse

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


(documentation inverse ChineseLanguage "BinaryRelation 的相反是一种 Relation, 而属于它 原本 Relation 所有元组的值都逆转。 换句话说，当一种二元关系和另一种二元关系的参数交换的结果是相等的 话，那这 BinaryRelation 就是另一种的相反。") chinese_format.kif 1367-1369
(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 112-115
(domain inverse 1 BinaryRelation) Merge.kif 110-110
(domain inverse 2 BinaryRelation) Merge.kif 111-111
(instance inverse BinaryPredicate) Merge.kif 105-105
(instance inverse IntransitiveRelation) Merge.kif 107-107
(instance inverse IrreflexiveRelation) Merge.kif 106-106
(instance inverse PartialValuedRelation) Merge.kif 109-109
(instance inverse SymmetricRelation) Merge.kif 108-108

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 315-315
(termFormat ChineseLanguage inverse "逆") domainEnglishFormat.kif 30817-30817
(termFormat ChineseLanguage inverse "逆向") chinese_format.kif 308-308
(termFormat ChineseTraditionalLanguage inverse "逆") domainEnglishFormat.kif 30816-30816
(termFormat EnglishLanguage inverse "inverse") domainEnglishFormat.kif 30815-30815

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


(inverse greaterThan lessThan) Merge.kif 1763-1763
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1792-1792
(inverse husband wife) Merge.kif 15447-15447
(inverse smaller larger) Merge.kif 7400-7400


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners