![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Head EnglishLanguage "The part of the body containing the sense organs and the brain.") | Mid-level-ontology.kif 10521-10522 | |
(externalImage Head "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Egypte_louvre_284.jpg") | pictureList.kif 111-111 | |
(externalImage Head "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ head/ head14.png") | pictureList.kif 493-493 | |
(subclass Head AnimalAnatomicalStructure) | Mid-level-ontology.kif 10519-10519 | subclass Head and AnimalAnatomicalStructure |
(subclass Head BodyPart) | Mid-level-ontology.kif 10520-10520 | subclass Head and BodyPart |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Head "头") | domainEnglishFormat.kif 27682-27682 | |
(termFormat ChineseTraditionalLanguage Head "頭") | domainEnglishFormat.kif 27681-27681 | |
(termFormat EnglishLanguage Head "head") | domainEnglishFormat.kif 27680-27680 |
antecedent |
![]() |
(=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD)) |
ComputerInput.kif 536-542 |
|
consequent |
![]() |
(=> (and (instance ?NOD Nodding) (patient ?NOD ?HEAD)) (instance ?HEAD Head)) |
Mid-level-ontology.kif 10699-10703 | |
(=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 5439-5447 |
|
(=> (attribute ?E Headache) (exists (?H) (and (instance ?H Head) (part ?H ?E) (attribute ?H Pain)))) |
Mid-level-ontology.kif 17148-17154 | |
(=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD)))) |
Mid-level-ontology.kif 10072-10077 | |
(=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 10057-10062 | |
(=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD)))) |
Mid-level-ontology.kif 10541-10546 | |
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 10529-10534 | |
(=> (instance ?S Skull) (exists (?V ?H) (and (instance ?V Vertebrate) (instance ?H Head) (part ?H ?V) (part ?S ?H)))) |
Mid-level-ontology.kif 9721-9728 |
statement |
![]() |
(subclass Helmet (CoveringFn Head)) |
Cars.kif 4334-4334 | subclass Helmet and CoveringFn Head |
![]() |
![]() |