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

appearance as argument number 1

(documentation Head EnglishLanguage "The part of the body containing the sense organs and the brain.")	Mid-level-ontology.kif 12866-12867
(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 12864-12864	Head ist eine teilkategorie von AnimalAnatomicalStructure
(subclass Head BodyPart)	Mid-level-ontology.kif 12865-12865	Head ist eine teilkategorie von BodyPart

appearance as argument number 2

(initialPart Eyebrow Head)	Anatomy.kif 1438-1438	initialPart Eyebrow and Head
(initialPart Forehead Head)	Anatomy.kif 1487-1487	initialPart Forehead and Head
(initialPart HeadBone Head)	Anatomy.kif 55-55	initialPart HeadBone and Head
(termFormat ChineseLanguage Head "头")	domainEnglishFormat.kif 27684-27684
(termFormat ChineseTraditionalLanguage Head "頭")	domainEnglishFormat.kif 27683-27683
(termFormat EnglishLanguage Head "head")	domainEnglishFormat.kif 27682-27682

antecedent

(=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD))	ComputerInput.kif 510-516	Wenn WearableItem ist ein fall von Earphone %n{nicht} und wears Animal and WearableItem und Object ist ein fall von Head %n{nicht} und Object ist ein teil von Animal %n{nicht}, dann WearableItem befindet sich an %n{nicht}
(=> (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 11486-11496	Wenn Object ist ein fall von Vertebrate %n{nicht} und Object ist ein fall von Head %n{nicht} und Object ist ein teil von Object %n{nicht} und Healthy ist ein attribut von Object %n{nicht}, dann es gibt Collection und Object um Collection ist ein fall von Skull %n{nicht} und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (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 11498-11507	Wenn Object ist ein fall von Vertebrate %n{nicht} und Object ist ein fall von Head %n{nicht} und Object ist ein teil von Object %n{nicht} und Collection ist ein fall von Skull %n{nicht} und Healthy ist ein attribut von Object %n{nicht} und Object ist ein Mitglied von Collection %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object ist ein teil von Object %n{nicht}

consequent

(=> (and (instance ?NOD Nodding) (patient ?NOD ?HEAD)) (instance ?HEAD Head))	Mid-level-ontology.kif 13062-13066	Wenn Process ist ein fall von Nodding %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Head %n{nicht}
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 5149-5157	Wenn wears Animal and WearableItem und WearableItem ist ein fall von Hat %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Object ist ein teil von Animal %n{nicht} und WearableItem schliesst Object raeumlich an
(=> (instance ?E Headache) (exists (?H) (and (instance ?H Head) (located ?E ?H))))	Mid-level-ontology.kif 19336-19341	Wenn Physical ist ein fall von Headache %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Physical befindet sich an %n{nicht}
(=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD))))	Mid-level-ontology.kif 12147-12152	Wenn Object ist ein fall von Ear %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD))))	Mid-level-ontology.kif 12113-12118	Wenn Object ist ein fall von Eye %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD))))	Mid-level-ontology.kif 12886-12891	Wenn Object ist ein fall von Face %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD))))	Mid-level-ontology.kif 12874-12879	Wenn Object ist ein fall von Neck %n{nicht}, dann es gibt Object um Object ist ein fall von Head %n{nicht} und Object wird an Object angeschlossen

statement

(subclass Hat (CoveringFn Head))	Mid-level-ontology.kif 5147-5147	Hat ist eine teilkategorie von CoveringFn Head
(subclass Headache (PainFn Head))	Mid-level-ontology.kif 19332-19332	Headache ist eine teilkategorie von PainFn Head
(subclass Helmet (CoveringFn Head))	Cars.kif 4368-4368	Helmet ist eine teilkategorie von CoveringFn 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