Neck - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Neck AnimalAnatomicalStructure)	Mid-level-ontology.kif 14487-14487	Neck is a subclass of animal anatomical structure
(subclass Neck BodyPart)	Mid-level-ontology.kif 14488-14488	Neck is a subclass of body part
(documentation Neck EnglishLanguage "The part of the body that connects the Head to the rest of the body.")	Mid-level-ontology.kif 14489-14490	Neck is a subclass of body part
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg")	pictureList.kif 137-137	Neck is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage Neck "neck")	domainEnglishFormat.kif 40069-40069
(termFormat ChineseTraditionalLanguage Neck "頸部")	domainEnglishFormat.kif 40070-40070
(termFormat ChineseLanguage Neck "颈部")	domainEnglishFormat.kif 40071-40071

antecedent

(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))

If X is an instance of neck, then there exists Y such that Y is an instance of head and X is connected to Y

consequent

(=> (and (wears ?P ?T) (instance ?T TieClothing)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (contains ?T ?N))))	Mid-level-ontology.kif 6181-6189	If X wears Y and Y is an instance of tie, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y contains Z
(=> (and (wears ?P ?C) (instance ?C Collar)) (exists (?N) (and (instance ?N Neck) (part ?N ?P) (meetsSpatially ?C ?N))))	Mid-level-ontology.kif 6215-6223	If X wears Y and Y is an instance of collar, then there exists Z such that Z is an instance of neck, Z is a part of X, and Y meets Z
(=> (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 20382-20393	If X is an instance of hanging, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of human (3) Y is an instance of string (4) Z is an instance of neck (5) W experiences X (6) Z is a proper part of W (7) Y is an instrument for X (8) Y meets Z holds during the time of existence of X