| 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 12894-12895 | |
| (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 12892-12892 | |
| (subclass Head BodyPart) | Mid-level-ontology.kif 12893-12893 |
| 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 11514-11524 | |
| (=> (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 11526-11535 |
| consequent |
|
|
| (=> (and (instance ?NOD Nodding) (patient ?NOD ?HEAD)) (instance ?HEAD Head)) |
Mid-level-ontology.kif 13090-13094 | |
| (=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 5144-5152 | |
| (=> (instance ?E Headache) (exists (?H) (and (instance ?H Head) (located ?E ?H)))) |
Mid-level-ontology.kif 19364-19369 | |
| (=> (instance ?EAR Ear) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EAR ?HEAD)))) |
Mid-level-ontology.kif 12175-12180 | |
| (=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 12141-12146 | |
| (=> (instance ?FACE Face) (exists (?HEAD) (and (instance ?HEAD Head) (part ?FACE ?HEAD)))) |
Mid-level-ontology.kif 12914-12919 | |
| (=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 12902-12907 |
| statement |
|
|
| (subclass Hat (CoveringFn Head)) |
Mid-level-ontology.kif 5142-5142 | |
| (subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 19360-19360 | |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4345-4345 |
|
|
|