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 13090-13091 | |
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") | pictureList.kif 137-137 | |
(subclass Neck AnimalAnatomicalStructure) | Mid-level-ontology.kif 13088-13088 | |
(subclass Neck BodyPart) | Mid-level-ontology.kif 13089-13089 |
appearance as argument number 2 |
(termFormat ChineseLanguage Neck "颈部") | domainEnglishFormat.kif 40098-40098 | |
(termFormat ChineseTraditionalLanguage Neck "頸部") | domainEnglishFormat.kif 40097-40097 | |
(termFormat EnglishLanguage Neck "neck") | domainEnglishFormat.kif 40096-40096 |
antecedent |
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 13093-13098 |
consequent |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 5114-5122 | |
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 5080-5088 | |
(=> (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 18735-18746 |