| 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 | |
| (subclass Head BodyPart) | Mid-level-ontology.kif 12865-12865 |
| appearance as argument number 2 |
|
|
| (initialPart Eyebrow Head) | Anatomy.kif 1438-1438 | |
| (initialPart Forehead Head) | Anatomy.kif 1487-1487 | |
| (initialPart HeadBone Head) | Anatomy.kif 55-55 | |
| (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 | |
| (=> (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 | |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?NOD Nodding) (patient ?NOD ?HEAD)) (instance ?HEAD Head)) |
Mid-level-ontology.kif 13062-13066 | |
| (=> (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 | |
| (=> (instance ?E Headache) (exists (?H) (and (instance ?H Head) (located ?E ?H)))) |
Mid-level-ontology.kif 19336-19341 | |
| (=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD)))) |
Mid-level-ontology.kif 12147-12152 | |
| (=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 12113-12118 | |
| (=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD)))) |
Mid-level-ontology.kif 12886-12891 | |
| (=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 12874-12879 |
| statement |
|
|
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 5147-5147 | |
| (subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 19332-19332 | |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4368-4368 |
|
|
|