![]() |
![]() ![]() ![]()
|
![]() |
|
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 12333-12334 | |
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") | pictureList.kif 137-137 | |
(subclass Neck AnimalAnatomicalStructure) | Mid-level-ontology.kif 12331-12331 | |
(subclass Neck BodyPart) | Mid-level-ontology.kif 12332-12332 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Neck "颈部") | domainEnglishFormat.kif 40050-40050 | |
(termFormat ChineseTraditionalLanguage Neck "頸部") | domainEnglishFormat.kif 40049-40049 | |
(termFormat EnglishLanguage Neck "neck") | domainEnglishFormat.kif 40048-40048 |
antecedent |
![]() |
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 12336-12341 |
consequent |
![]() |
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N)))) |
Mid-level-ontology.kif 4842-4850 | |
(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N)))) |
Mid-level-ontology.kif 4808-4816 | |
(=> (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 17828-17839 |
![]() |
![]() |