Head - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Head

Head(head)

appearance as argument number 1

(documentation Head EnglishLanguage "The part of the body containing the sense organs and the brain.")	Mid-level-ontology.kif 14216-14217
(externalImage Head "http://articulatesoftware.com/SUMOpictures/people/bodypart/ head/ head14.png")	pictureList.kif 493-493
(externalImage Head "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Egypte_louvre_284.jpg")	pictureList.kif 111-111
(subclass Head AnimalAnatomicalStructure)	Mid-level-ontology.kif 14214-14214	Head is a subclass of animal anatomical structure
(subclass Head BodyPart)	Mid-level-ontology.kif 14215-14215	Head is a subclass of body part

appearance as argument number 2

(initialPart Eyebrow Head)	Anatomy.kif 1473-1473	Every eyebrow is initially part of a head
(initialPart Forehead Head)	Anatomy.kif 1522-1522	Every forehead is initially part of a head
(initialPart HeadBone Head)	Anatomy.kif 55-55	Every head bone is initially part of a head
(termFormat ChineseLanguage Head "头")	domainEnglishFormat.kif 27712-27712	Every head bone is initially part of a head
(termFormat ChineseTraditionalLanguage Head "頭")	domainEnglishFormat.kif 27711-27711	Every head bone is initially part of a head
(termFormat EnglishLanguage Head "head")	domainEnglishFormat.kif 27710-27710	Every head bone is initially part of a head

antecedent

(=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD))	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
(=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (attribute ?V Healthy)) (exists (?S ?B) (and (instance ?S Skull) (member ?B ?S) (part ?B ?H))))	Mid-level-ontology.kif 12836-12846	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
(=> (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (instance ?S Skull) (attribute ?V Healthy) (member ?B ?S) (part ?B ?V)) (part ?B ?H))	Mid-level-ontology.kif 12848-12857	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

(=> (and (instance ?NOD Nodding) (patient ?NOD ?HEAD)) (instance ?HEAD Head))	Mid-level-ontology.kif 14412-14416	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
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 6106-6114	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
(=> (instance ?E Headache) (exists (?H) (and (instance ?H Head) (located ?E ?H))))	Mid-level-ontology.kif 20925-20930	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
(=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD))))	Mid-level-ontology.kif 13497-13502	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
(=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD))))	Mid-level-ontology.kif 13463-13468	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
(=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD))))	Mid-level-ontology.kif 14236-14241	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
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD))))	Mid-level-ontology.kif 14224-14229	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

(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 6104-6104	Hat is a subclass of a covering for head
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 20921-20921	Headache is a subclass of pain in the head
(subclass Helmet (CoveringFn Head))	Cars.kif 4421-4421	Helmet is a subclass of a covering for head

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