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 12987-12987 A nose is connected to a trachea
(documentation Nose EnglishLanguage "The Organ of Smelling.") Mid-level-ontology.kif 13087-13087 A nose is connected to a trachea
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/1/12/ Blackheads_by_David_Shankbone.jpg") pictureList.kif 7455-7455 A nose is connected to a trachea
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Nose.agr.jpg") pictureList.kif 139-139 A nose is connected to a trachea
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Neus1.jpg") pictureList.kif 7456-7456 A nose is connected to a trachea
(subclass Nose AnimalAnatomicalStructure) Mid-level-ontology.kif 13086-13086 Nose is a subclass of animal anatomical structure
(subclass Nose Organ) Mid-level-ontology.kif 13085-13085 Nose is a subclass of organ

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


(termFormat ChineseLanguage Nose "鼻子") domainEnglishFormat.kif 41302-41302
(termFormat ChineseTraditionalLanguage Nose "鼻子") domainEnglishFormat.kif 41301-41301
(termFormat EnglishLanguage Nose "nose") domainEnglishFormat.kif 41300-41300

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


(=>
    (instance ?NOSE Nose)
    (capability Smelling instrument ?NOSE))		 Mid-level-ontology.kif 13089-13091
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))		 Mid-level-ontology.kif 13093-13098
(=>
    (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 12213-12221

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 6671-6689
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))		 Mid-level-ontology.kif 6638-6644
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))		 Mid-level-ontology.kif 12223-12229