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

Formal Language: 



KB Term:  Term intersection
English Word: 

  equivalenceRelationOn

 Sigma KEE - equivalenceRelationOn
equivalenceRelationOn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2055-2057
No TPTP formula. May not be expressible in strict first order. Merge.kif 3708-3711
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 700-702
No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3705 O argumento numero 1 de equivalenceRelationOn e' uma instancia de Relacao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 3706-3706 O argumento numero 2 de equivalenceRelationOn e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 3704-3704 equivalenceRelationOn e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 3703-3703 equivalenceRelationOn e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. english_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. french_format.kif 72-72
No TPTP formula. May not be expressible in strict first order. relations-it.txt 97-97
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1898-1898
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 24-24
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-de.txt 112-112
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 137-137
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 91-91
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 71-71
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 207-207
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 100-100
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22360-22360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22359-22359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22358-22358
No TPTP formula. May not be expressible in strict first order. terms-de.txt 32-32

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 3713-3718


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