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 10497-10498
(externalImage Neck "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg") pictureList.kif 137-137 externalImage Neck and "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Neck.agr.jpg"
(subclass Neck AnimalAnatomicalStructure) Mid-level-ontology.kif 10495-10495 NeckAnimalAnatomicalStructuresubclass では %n
(subclass Neck BodyPart) Mid-level-ontology.kif 10496-10496 Neck体の部分subclass では %n

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


(termFormat ChineseLanguage Neck "颈部") domainEnglishFormat.kif 39985-39985 termFormat ChineseLanguage, Neck and "颈部"
(termFormat ChineseTraditionalLanguage Neck "頸部") domainEnglishFormat.kif 39984-39984 termFormat ChineseTraditionalLanguage, Neck and "頸部"
(termFormat EnglishLanguage Neck "neck") domainEnglishFormat.kif 39983-39983 termFormat EnglishLanguage, Neck and "neck"

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


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

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


(=>
    (and
        (wears ?P ?C)
        (instance ?C Collar))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (meetsSpatially ?C ?N))))
Mid-level-ontology.kif 5411-5419
(=>
    (and
        (wears ?P ?T)
        (instance ?T TieClothing))
    (exists (?N)
        (and
            (instance ?N Neck)
            (part ?N ?P)
            (contains ?T ?N))))
Mid-level-ontology.kif 5385-5393
(=>
    (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 16058-16069


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