TreeView Knowledge Base Browser - CoveringFn

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 29715-29716
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29713-29713	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 29712-29712	Covering fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29714-29714	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 29718-29727

If a physical is a subclass of a covering for a kind of body part,
then the physical has the purpose there exist an entity, a kind of body partI and the physicalI such that the entity is an instance of covering and the kind of body partI is an instance of the kind of body part and the physicalI is an instance of the physical and the entity ends up at the kind of body partI and the physicalI is a patient of the entity

statement

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4751-4751	Glove is equal to a covering for hand
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5147-5147	Hat is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4368-4368	Helmet is a subclass of a covering for head
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5100-5100	Mask is a subclass of a covering for face
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5259-5259	Shirt is a subclass of a covering for torso
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5181-5181	Shoe is a subclass of a covering for foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5270-5270	Sleeve is a subclass of a covering for arm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5244-5244	Sock is a subclass of a covering for foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5166-5166	Trousers is a subclass of a covering for leg

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