TreeView Knowledge Base Browser - Head

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Head

Sigma KEE - Head

Head(head)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12867-12868
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 493-493
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 111-111
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12865-12865	Head is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12866-12866	Head is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1438-1438	Every eyebrow is initially part of a head
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1487-1487	Every forehead is initially part of a head
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 55-55	Every head bone is initially part of a head
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27684-27684
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27683-27683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27682-27682

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 510-516	If a wearable item is an instance of earphone and an animal wears the wearable item and an object is an instance of head and the object is a part of the animal, then the wearable item is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11487-11497	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and healthy is an attribute of the object, then there exist a collection and a third object such that the collection is an instance of skull and the third object is a member of the collection and the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11499-11508	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and a collection is an instance of skull and healthy is an attribute of the object and a third object is a member of the collection and the third object is a part of the object, then the third object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13063-13067	If a process is an instance of nodding and an entity is a patient of the process, then the entity is an instance of head
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5150-5158	If an animal wears a wearable item and the wearable item is an instance of hat, then there exists an object such that the object is an instance of head and the object is a part of the animal and the wearable item meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19337-19342	If a physical is an instance of headache, then there exists an object such that the object is an instance of head and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12148-12153	If an object is an instance of ear, then there exists another object such that the other object is an instance of head and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12114-12119	If an object is an instance of eye, then there exists another object such that the other object is an instance of head and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12887-12892	If an object is an instance of face, then there exists another object such that the other object is an instance of head and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12875-12880	If an object is an instance of neck, then there exists another object such that the other object is an instance of head and the object is connected to the other object

statement

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.	Mid-level-ontology.kif 19333-19333	Headache is a subclass of pain in the 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

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