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 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 Neck est une sous-classe de AnimalAnatomicalStructure
(subclass Neck BodyPart) Mid-level-ontology.kif 12871-12871 Neck est une sous-classe de partie du corps

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


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 3.0 is open source software produced by Articulate Software and its partners