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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EquivalenceRelation

 Sigma KEE - EquivalenceRelation
EquivalenceRelation(Relacao Qquivalente)

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 Relacao Qquivalente e' uma sub-classe de Relacao Reflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 2393-2393 Relacao Qquivalente e' uma sub-classe de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 2392-2392 Relacao Qquivalente e' uma sub-classe de Relacao Transitiva

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8388-8388 cooccur e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 3846-3846 copy e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 4491-4491 equivalentContentClass e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 4547-4547 equivalentContentInstance e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 3319-3319 identicalListItems e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 615-615 relatedInternalConcept e' uma instancia de Relacao Qquivalente
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 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