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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sleeve
Sleeve
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5263-5264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7881-7881
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7880-7880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7879-7879
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6864-6864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7878-7878
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5265-5265 Sleeve est une sous-classe de CoveringFn Arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5262-5262 Sleeve est une sous-classe de v�tement

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53386-53386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53385-53385
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53384-53384

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5267-5275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5277-5284


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