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 3709-3712
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 3706-3706 属于等价关系 的 1 数量 是 二元关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3707-3707 属于等价关系 的 2 数量 是 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3705 属于等价关系非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3704-3704 属于等价关系二元谓语instance

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


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