| Head(head)
| | caput, head |
| appearance as argument number 1 |
|
|
| (subclass Head AnimalAnatomicalStructure) | Mid-level-ontology.kif 14329-14329 | Head is a subclass of animal anatomical structure |
| (subclass Head BodyPart) | Mid-level-ontology.kif 14330-14330 | Head is a subclass of body part |
| (documentation Head EnglishLanguage "The part of the body containing the sense organs and the brain.") | Mid-level-ontology.kif 14331-14332 | Head is a subclass of body part |
| (externalImage Head "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Egypte_louvre_284.jpg") | pictureList.kif 111-111 | Head is a subclass of body part |
| (externalImage Head "http://articulatesoftware.com/SUMOpictures/people/bodypart/ head/ head14.png") | pictureList.kif 493-493 | Head is a subclass of body part |
| appearance as argument number 2 |
|
|
| (initialPart HeadBone Head) | Anatomy.kif 55-55 | Every head bone is initially part of a head |
| (initialPart Eyebrow Head) | Anatomy.kif 1471-1471 | Every eyebrow is initially part of a head |
| (initialPart Forehead Head) | Anatomy.kif 1520-1520 | Every forehead is initially part of a head |
| (termFormat EnglishLanguage Head "head") | domainEnglishFormat.kif 27686-27686 | Every forehead is initially part of a head |
| (termFormat ChineseTraditionalLanguage Head "頭") | domainEnglishFormat.kif 27687-27687 | Every forehead is initially part of a head |
| (termFormat ChineseLanguage Head "头") | domainEnglishFormat.kif 27688-27688 | Every forehead 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 X is an instance of earphone, Y wears X, Z is an instance of head, and Z is a part of Y, then X is located at Z |
| (=> (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 12861-12871 | If X is an instance of vertebrate, Y is an instance of head, Y is a part of X, and healthy is an attribute of X, then there exist Z, W such that Z is an instance of skull, W is a member of Z, and W is a part of Y |
| (=> (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 12873-12882 | If All of the following hold: (1) X is an instance of vertebrate (2) Y is an instance of head (3) Y is a part of X (4) Z is an instance of skull (5) healthy is an attribute of X (6) W is a member of Z (7) W is a part of X, then W is a part of Y |
| consequent |
|
|
| (=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 6105-6113 | If X wears Y and Y is an instance of hat, then there exists Z such that Z is an instance of head, Z is a part of X, and Y meets Z |
| (=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 13488-13493 | If X is an instance of eye, then there exists Y such that Y is an instance of head and X is a part of Y |
| (=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD)))) |
Mid-level-ontology.kif 13646-13651 | If X is an instance of ear, then there exists Y such that Y is an instance of head and X is a part of Y |
| (=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 14339-14344 | If X is an instance of neck, then there exists Y such that Y is an instance of head and X is connected to Y |
| (=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD)))) |
Mid-level-ontology.kif 14351-14356 | If X is an instance of face, then there exists Y such that Y is an instance of head and X is a part of Y |
| (=> (and (instance ?NOD Nodding) (patient ?NOD ?HEAD)) (instance ?HEAD Head)) |
Mid-level-ontology.kif 14523-14527 | If X is an instance of nodding and Y is a patient of X, then Y is an instance of head |
| (=> (instance ?E Headache) (exists (?H) (and (instance ?H Head) (located ?E ?H)))) |
Mid-level-ontology.kif 21272-21277 | If X is an instance of headache, then there exists Y such that Y is an instance of head and X is located at Y |
| statement |
|
|
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4438-4438 | Helmet is a subclass of a covering for head |
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 6103-6103 | Hat is a subclass of a covering for head |
| (subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 21268-21268 | Headache is a subclass of pain in the head |
|
|
|