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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sleeve

Sigma KEE - Sleeve
Sleeve(sleeve)
more pictures...
arm, dolman_sleeve, long_sleeve, raglan_sleeve, shirtsleeve, short_sleeve, sleeve

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5269-5270
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 5271-5271 Sleeve is a subclass of a covering for arm
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5268-5268 Sleeve is a subclass of clothing

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5273-5281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5283-5290


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