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 11569-11569
(documentation Nose EnglishLanguage "The Organ of Smelling.") Mid-level-ontology.kif 11669-11669
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/1/12/ Blackheads_by_David_Shankbone.jpg") pictureList.kif 7457-7457
(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 7458-7458
(subclass Nose AnimalAnatomicalStructure) Mid-level-ontology.kif 11668-11668
(subclass Nose Organ) Mid-level-ontology.kif 11667-11667

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


(termFormat ChineseLanguage Nose "鼻子") domainEnglishFormat.kif 41256-41256
(termFormat ChineseTraditionalLanguage Nose "鼻子") domainEnglishFormat.kif 41255-41255
(termFormat EnglishLanguage Nose "nose") domainEnglishFormat.kif 41254-41254

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


(=>
    (instance ?NOSE Nose)
    (capability Smelling instrument ?NOSE))
Mid-level-ontology.kif 11671-11673
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))
Mid-level-ontology.kif 11675-11680
(=>
    (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 10817-10825

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


(=>
    (and
        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?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 5802-5820
(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))
Mid-level-ontology.kif 5769-5775
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))
Mid-level-ontology.kif 10827-10833


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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