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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoveringFn
CoveringFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29727-29728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29725-29725 The number 1 argument of Covering fn is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29724-29724 Covering fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29726-29726 The values returned by Covering fn are subclasses of wearable item

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3138-3138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3137-3137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3136-3136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64711-64711

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29730-29739

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4743-4743 Glove is equal to a covering for hand
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5148-5148 Hat is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order. Cars.kif 4360-4360 Helmet is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5101-5101 Mask is a subclass of a covering for face
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5260-5260 Shirt is a subclass of a covering for torso
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5182-5182 Shoe is a subclass of a covering for foot
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 5245-5245 Sock is a subclass of a covering for foot
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5167-5167 Trousers is a subclass of a covering for leg


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