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 8424-8424 cooccur e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 3847-3847 copy e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 4492-4492 equivalentContentClass e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 4548-4548 equivalentContentInstance e' uma instancia de Relacao Qquivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 3320-3320 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