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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 111-114
(domain inverse 1 BinaryRelation) Merge.kif 109-109 逆向 的 1 数量 是 二元关系instance
(domain inverse 2 BinaryRelation) Merge.kif 110-110 逆向 的 2 数量 是 二元关系instance
(instance inverse BinaryPredicate) Merge.kif 104-104 逆向二元谓语instance
(instance inverse IntransitiveRelation) Merge.kif 106-106 逆向非传递关系instance
(instance inverse IrreflexiveRelation) Merge.kif 105-105 逆向非自反关系instance
(instance inverse PartialValuedRelation) Merge.kif 108-108 逆向部分值关系instance
(instance inverse SymmetricRelation) Merge.kif 107-107 逆向对称关系instance

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 312-312
(termFormat ChineseLanguage inverse "逆") domainEnglishFormat.kif 30810-30810
(termFormat ChineseLanguage inverse "逆向") chinese_format.kif 308-308
(termFormat ChineseTraditionalLanguage inverse "逆") domainEnglishFormat.kif 30809-30809
(termFormat EnglishLanguage inverse "inverse") domainEnglishFormat.kif 30808-30808

appearance as argument number 0

(inverse greaterThan lessThan) Merge.kif 1790-1790 大于少于inverse
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1819-1819 大于或等于少于或等于inverse
(inverse husband wife) Merge.kif 16299-16299 丈夫妻子inverse
(inverse smaller larger) Merge.kif 7679-7679 更小更大inverse

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 is open source software produced by Articulate Software and its partners