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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nose

Sigma KEE - Nose
Nose(鼻子)

appearance as argument number 1
-------------------------


(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12091-12091 connectedBodyPart 鼻子 and Trachea
(documentation Nose EnglishLanguage "The Organ of Smelling.") Mid-level-ontology.kif 12191-12191
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/1/12/ Blackheads_by_David_Shankbone.jpg") pictureList.kif 7456-7456
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Nose.agr.jpg") pictureList.kif 139-139
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Neus1.jpg") pictureList.kif 7457-7457
(subclass Nose AnimalAnatomicalStructure) Mid-level-ontology.kif 12190-12190 鼻子动物解剖结构subclass
(subclass Nose Organ) Mid-level-ontology.kif 12189-12189 鼻子器官subclass

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


(termFormat ChineseLanguage Nose "鼻子") domainEnglishFormat.kif 41271-41271
(termFormat ChineseTraditionalLanguage Nose "鼻子") domainEnglishFormat.kif 41270-41270
(termFormat EnglishLanguage Nose "nose") domainEnglishFormat.kif 41269-41269

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


(=>
    (instance ?NOSE Nose)
    (capability Smelling instrument ?NOSE))
Mid-level-ontology.kif 12193-12195
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))
Mid-level-ontology.kif 12197-12202
(=>
    (instance ?NOSE Nose)
    (exists (?N1 ?N2)
        (and
            (instance ?N1 Nostril)
            (instance ?N2 Nostril)
            (not
                (equal ?N1 ?N2))
            (connected ?N1 ?NOSE)
            (connected ?N2 ?NOSE))))
Mid-level-ontology.kif 11317-11325

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


(=>
    (and
        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?NOSE ?O)
            (and
                (instance ?N NasalCavity)
                (instance ?NOSE Nose)
                (equal ?NOSE
                    (HoleHostFn ?N))
                (instance ?O Object)
                (instance ?R Removing)
                (part ?NOSE ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (located ?O ?N))))))
Mid-level-ontology.kif 6122-6140
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))
Mid-level-ontology.kif 6089-6095
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))
Mid-level-ontology.kif 11327-11333