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


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 The number 1 argument of inverse is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 112-112 The number 2 argument of inverse is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 106-106 inverse is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 108-108 inverse is an instance of intransitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 107-107 inverse is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 110-110 inverse is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 109-109 inverse is an instance of symmetric relation

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 30834-30834
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 30833-30833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30832-30832
No TPTP formula. May not be expressible in strict first order. terms-de.txt 127-127
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 1860-1860 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1889-1889 greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order. Merge.kif 16749-16749 husband is an inverse of wife
No TPTP formula. May not be expressible in strict first order. Merge.kif 7860-7860 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 3.0 is open source software produced by Articulate Software and its partners