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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EquivalenceRelation
EquivalenceRelation(equivalence relation)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1858-1859
No TPTP formula. May not be expressible in strict first order. Merge.kif 2396-2398
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 481-482
No TPTP formula. May not be expressible in strict first order. Merge.kif 2394-2394 Equivalence relation is a subclass of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2393-2393 Equivalence relation is a subclass of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2392-2392 Equivalence relation is a subclass of transitive relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8388-8388 cooccur is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3846-3846 copy is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4491-4491 equivalent content class is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4547-4547 equivalent content instance is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3319-3319 identical list items is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 615-615 related internal concept is an instance of equivalence relation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 903-903
No TPTP formula. May not be expressible in strict first order. english_format.kif 1013-1013
No TPTP formula. May not be expressible in strict first order. french_format.kif 579-579
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 109-109
No TPTP formula. May not be expressible in strict first order. terms-it.txt 112-112
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2264-2264
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 531-531
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 146-146
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 600-600
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 113-113


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