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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1367-1369
No TPTP formula. May not be expressible in strict first order. Merge.kif 113-116
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 24-26
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 24-27
No TPTP formula. May not be expressible in strict first order. Merge.kif 111-111 逆向 的 1 数量 是 二元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 112-112 逆向 的 2 数量 是 二元关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 106-106 逆向 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 108-108 逆向 是 非传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 107-107 逆向 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 110-110 逆向 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 109-109 逆向 是 对称关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 307-307
No TPTP formula. May not be expressible in strict first order. english_format.kif 312-312
No TPTP formula. May not be expressible in strict first order. french_format.kif 176-176
No TPTP formula. May not be expressible in strict first order. relations-it.txt 155-155
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1996-1996
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 128-128
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 174-174
No TPTP formula. May not be expressible in strict first order. relations-de.txt 403-403
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 194-194
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 196-196
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 185-185
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 312-312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30823-30823
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 308-308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30822-30822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30821-30821
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 313-313

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1850-1850 大于 是 少于 的 inverse
No TPTP formula. May not be expressible in strict first order. Merge.kif 1879-1879 大于或等于 是 少于或等于 的 inverse
No TPTP formula. May not be expressible in strict first order. Merge.kif 16574-16574 丈夫 是 妻子 的 inverse
No TPTP formula. May not be expressible in strict first order. Merge.kif 7775-7775 更小 是 更大 的 inverse


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