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 113-116
(documentation inverse JapaneseLanguage "BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。 言い換えれば、BinaryRelation は、引数が交換された時に 等しい場合、別の逆数になる。") japanese_format.kif 24-26
(documentation inverse SpanishLanguage "El inverso de una BinaryRelation es una Relation en la que todas las tuplas de la Relation original son revertidas. En otras palabras, una BinaryRelation es el inverso del otro si son equivalentes cuando sus argumentos son intercambiados.") spanish_format.kif 24-27
(domain inverse 1 BinaryRelation) Merge.kif 111-111 Le nombre 1 argument de inverse est une instance de relation binaire
(domain inverse 2 BinaryRelation) Merge.kif 112-112 Le nombre 2 argument de inverse est une instance de relation binaire
(instance inverse BinaryPredicate) Merge.kif 106-106 inverse est une instance de pr�dicat binaire
(instance inverse IntransitiveRelation) Merge.kif 108-108 inverse est une instance de relation intransitive
(instance inverse IrreflexiveRelation) Merge.kif 107-107 inverse est une instance de relation irr�flexive
(instance inverse PartialValuedRelation) Merge.kif 110-110 inverse est une instance de relation partielle
(instance inverse SymmetricRelation) Merge.kif 109-109 inverse est une instance de relation sym�trique

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
(format FrenchLanguage inverse "%1 est %n l' inverse de %2") french_format.kif 176-176
(format ItalianLanguage inverse "%1 � %n un inverso di %2") relations-it.txt 155-155
(format JapaneseLanguage inverse "%1 は %2 の inverse では %n") japanese_format.kif 1996-1996
(format PortugueseLanguage inverse "%1 e' %n inverso de %2") portuguese_format.kif 128-128
(format cz inverse "%1 %p{je} %n{nen�} inverzn� k %2") relations-cz.txt 174-174
(format de inverse "%1 ist eine inverse von %2 %n{nicht}") relations-de.txt 403-403
(format hi inverse "%1 %2 kaa pratiloma %n hai") relations-hindi.txt 194-194
(format ro inverse "%1 %n{nu} este o relaþie inverse%t{inversã} a lui %2") relations-ro.kif 196-196
(format sv inverse
    (or "%1 är %n{inte} en inverse till %2" "%1 är %n{inte} inversen till %2"))
relations-sv.txt 185-186
(format tg inverse "%1 %n ay ang pagbaliktad ng %2") relations-tg.txt 312-312
(termFormat ChineseLanguage inverse "逆") domainEnglishFormat.kif 30832-30832
(termFormat ChineseLanguage inverse "逆向") chinese_format.kif 308-308
(termFormat ChineseTraditionalLanguage inverse "逆") domainEnglishFormat.kif 30831-30831
(termFormat EnglishLanguage inverse "inverse") domainEnglishFormat.kif 30830-30830
(termFormat tg inverse "pagbaliktad") relations-tg.txt 313-313

appearance as argument number 0

(inverse greaterThan lessThan) Merge.kif 1837-1837 greaterThan est l' inverse de lessThan
(inverse greaterThanOrEqualTo lessThanOrEqualTo) Merge.kif 1866-1866 greaterThanOrEqualTo est l' inverse de lessThanOrEqualTo
(inverse husband wife) Merge.kif 16458-16458 husband est l' inverse de wife
(inverse smaller larger) Merge.kif 7761-7761 smaller est l' inverse de 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 3.0 is open source software produced by Articulate Software and its partners