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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nose
Nose(nose)
nose, olfactory_organ

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


(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 12118-12118 A nose is connected to a trachea
(documentation Nose EnglishLanguage "The Organ of Smelling.") Mid-level-ontology.kif 12218-12218
(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 12217-12217 Nose is a subclass of animal anatomical structure
(subclass Nose Organ) Mid-level-ontology.kif 12216-12216 Nose is a subclass of organ

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


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

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


(=>
    (instance ?NOSE Nose)
    (capability Smelling instrument ?NOSE))		 Mid-level-ontology.kif 12220-12222
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))		 Mid-level-ontology.kif 12224-12229
(=>
    (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 11344-11352

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 6116-6134
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))		 Mid-level-ontology.kif 6083-6089
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))		 Mid-level-ontology.kif 11354-11360