Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Neck
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 10499-10500
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") pictureList.kif 137-137
(subclass Neck AnimalAnatomicalStructure) Mid-level-ontology.kif 10497-10497
(subclass Neck BodyPart) Mid-level-ontology.kif 10498-10498

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Neck "颈部") domainEnglishFormat.kif 39961-39961
(termFormat ChineseTraditionalLanguage Neck "頸部") domainEnglishFormat.kif 39960-39960
(termFormat EnglishLanguage Neck "neck") domainEnglishFormat.kif 39959-39959

antecedent
-------------------------


(=>
    (instance ?NECK Neck)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (connected ?NECK ?HEAD))))
Mid-level-ontology.kif 10502-10507

consequent
-------------------------


(=>
    (and
        (wears ?P ?C)
        (instance ?C Collar))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (meetsSpatially ?C ?N))))
Mid-level-ontology.kif 5405-5413
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))
Mid-level-ontology.kif 5379-5387
(=>
    (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 16137-16148


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners