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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EquivalenceRelation
EquivalenceRelation(relation �quivalente)

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 Relation �quivalente est une sous-classe de relation r�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 2393-2393 Relation �quivalente est une sous-classe de relation sym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 2392-2392 Relation �quivalente est une sous-classe de relation transitive

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8424-8424 cooccur est une instance de relation �quivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 3847-3847 copy est une instance de relation �quivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 4492-4492 equivalentContentClass est une instance de relation �quivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 4548-4548 equivalentContentInstance est une instance de relation �quivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 3320-3320 identicalListItems est une instance de relation �quivalente
No TPTP formula. May not be expressible in strict first order. Merge.kif 615-615 relatedInternalConcept est une instance de relation �quivalente
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