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 13123-13124 | |
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") | pictureList.kif 137-137 | |
(subclass Neck AnimalAnatomicalStructure) | Mid-level-ontology.kif 13121-13121 | |
(subclass Neck BodyPart) | Mid-level-ontology.kif 13122-13122 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Neck "颈部") | domainEnglishFormat.kif 40093-40093 | |
(termFormat ChineseTraditionalLanguage Neck "頸部") | domainEnglishFormat.kif 40092-40092 | |
(termFormat EnglishLanguage Neck "neck") | domainEnglishFormat.kif 40091-40091 |
antecedent |
![]() |
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 13126-13131 |
consequent |
![]() |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 5147-5155 | |
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 5113-5121 | |
(=> (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 18800-18811 |
![]() |
![]() |