Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Head(head)
|  | caput, head |
| appearance as argument number 1 |
|
|
| (subclass Head AnimalAnatomicalStructure) | Mid-level-ontology.kif 14482-14482 | Head is a subclass of animal anatomical structure |
| (subclass Head BodyPart) | Mid-level-ontology.kif 14483-14483 | 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 14484-14485 | 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 52-52 | Every head bone is initially part of a head |
| (initialPart Eyebrow Head) | Anatomy.kif 1460-1460 | Every eyebrow is initially part of a head |
| (initialPart Forehead Head) | Anatomy.kif 1509-1509 | 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 ?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 12987-12997 | 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 12999-13008 | 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 |
| (=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD)) |
ComputerInput.kif 526-532 | 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 |
| consequent |
|
|
| (=> (and (wears ?PERSON ?HAT) (instance ?HAT Hat)) (exists (?HEAD) (and (instance ?HEAD Head) (part ?HEAD ?PERSON) (meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 6245-6253 | 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 13621-13626 | 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 13779-13784 | 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 14492-14497 | 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 14504-14509 | 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 14619-14623 | 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 21229-21234 | 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 Hat (CoveringFn Head)) |
Mid-level-ontology.kif 6243-6243 | Hat is a subclass of a covering for head |
| (subclass Headache (PainFn Head)) |
Mid-level-ontology.kif 21225-21225 | Headache is a subclass of pain in the head |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4267-4267 | Helmet is a subclass of a covering for head |
|