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 12118-12118 connectedBodyPart Nose and 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 e' uma sub-classe de AnimalAnatomicalStructure
(subclass Nose Organ) Mid-level-ontology.kif 12216-12216 Nose e' uma sub-classe de Orgao

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