Neck![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Neck EnglishLanguage "The part of the body that connects the Head to the rest of the body.") | Mid-level-ontology.kif 14221-14222 | |
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") | pictureList.kif 137-137 | |
(subclass Neck AnimalAnatomicalStructure) | Mid-level-ontology.kif 14219-14219 | |
(subclass Neck BodyPart) | Mid-level-ontology.kif 14220-14220 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Neck "颈部") | domainEnglishFormat.kif 40095-40095 | |
(termFormat ChineseTraditionalLanguage Neck "頸部") | domainEnglishFormat.kif 40094-40094 | |
(termFormat EnglishLanguage Neck "neck") | domainEnglishFormat.kif 40093-40093 |
antecedent |
![]() |
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 14224-14229 |
consequent |
![]() |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 6076-6084 | |
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 6042-6050 | |
(=> (instance ?H Hanging) (exists (?S ?N ?P) (and (instance ?P Human) (instance ?S String) (instance ?N Neck) (experiencer ?H ?P) (properPart ?N ?P) (instrument ?H ?S) (holdsDuring (WhenFn ?H) (meetsSpatially ?S ?N))))) |
Mid-level-ontology.kif 20065-20076 |
![]() |
![]() |