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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Nose
nose, olfactory_organ

appearance as argument number 1

(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 11569-11569 a %1 is connected to a %2 nose and trachea
(documentation Nose EnglishLanguage "The Organ of Smelling.") Mid-level-ontology.kif 11669-11669
(externalImage Nose " Blackheads_by_David_Shankbone.jpg") pictureList.kif 7457-7457
(externalImage Nose " Nose.agr.jpg") pictureList.kif 139-139
(externalImage Nose " Neus1.jpg") pictureList.kif 7458-7458
(subclass Nose AnimalAnatomicalStructure) Mid-level-ontology.kif 11668-11668 Nose is a subclass of animal anatomical structure
(subclass Nose Organ) Mid-level-ontology.kif 11667-11667 Nose is a subclass of organ

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


    (instance ?NOSE Nose)
    (capability Smelling instrument ?NOSE))
Mid-level-ontology.kif 11671-11673
    (instance ?NOSE Nose)
    (exists (?FACE)
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))
Mid-level-ontology.kif 11675-11680
    (instance ?NOSE Nose)
    (exists (?N1 ?N2)
            (instance ?N1 Nostril)
            (instance ?N2 Nostril)
                (equal ?N1 ?N2))
            (connected ?N1 ?NOSE)
            (connected ?N2 ?NOSE))))
Mid-level-ontology.kif 10817-10825


        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?O)
                (instance ?N NasalCavity)
                (instance ?NOSE Nose)
                (equal ?NOSE
                    (HoleHostFn ?N))
                (instance ?O Object)
                (instance ?R Removing)
                (part ?NOSE ?H)
                (objectTransferred ?R ?O)
                        (WhenFn ?C))
                    (located ?O ?N))))))
Mid-level-ontology.kif 5802-5820
    (instance ?N NasalCavity)
    (exists (?NOSE)
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))
Mid-level-ontology.kif 5769-5775
    (instance ?NOS Nostril)
    (exists (?N ?T)
            (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