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 12872-12873 | |
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") | pictureList.kif 137-137 | |
(subclass Neck AnimalAnatomicalStructure) | Mid-level-ontology.kif 12870-12870 | |
(subclass Neck BodyPart) | Mid-level-ontology.kif 12871-12871 |
appearance as argument number 2 |
(termFormat ChineseLanguage Neck "颈部") | domainEnglishFormat.kif 40065-40065 | |
(termFormat ChineseTraditionalLanguage Neck "頸部") | domainEnglishFormat.kif 40064-40064 | |
(termFormat EnglishLanguage Neck "neck") | domainEnglishFormat.kif 40063-40063 |
antecedent |
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 12875-12880 |
consequent |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 5120-5128 | |
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 5086-5094 | |
(=> (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 18477-18488 |