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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 3723-3726
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 3720-3720 The number 1 argument of equivalence relation on is an instance of binary relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3721-3721 The number 2 argument of equivalence relation on is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3719-3719 equivalence relation on is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3718-3718 equivalence relation on is an instance of binary predicate

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 22366-22366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22365-22365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22364-22364
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 3728-3733


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