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


KB Term:  Term intersection
English Word: 

  Nose

 Sigma KEE - Nose
Nose(nose)
nose, olfactory_organ

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


(connectedBodyPart Nose Trachea) Mid-level-ontology.kif 13598-13598 A nose is connected to a trachea
(subclass Nose Organ) Mid-level-ontology.kif 13786-13786 Nose is a subclass of organ
(subclass Nose AnimalAnatomicalStructure) Mid-level-ontology.kif 13787-13787 Nose is a subclass of animal anatomical structure
(documentation Nose EnglishLanguage "The Organ of Smelling.") Mid-level-ontology.kif 13788-13788 Nose is a subclass of animal anatomical structure
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/d/d4/ Nose.agr.jpg") pictureList.kif 139-139 Nose is a subclass of animal anatomical structure
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/1/12/ Blackheads_by_David_Shankbone.jpg") pictureList.kif 7455-7455 Nose is a subclass of animal anatomical structure
(externalImage Nose "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Neus1.jpg") pictureList.kif 7456-7456 Nose is a subclass of animal anatomical structure

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


(termFormat EnglishLanguage Nose "nose") domainEnglishFormat.kif 41276-41276
(termFormat ChineseTraditionalLanguage Nose "鼻子") domainEnglishFormat.kif 41277-41277
(termFormat ChineseLanguage Nose "鼻子") domainEnglishFormat.kif 41278-41278

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


(=>
    (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 12813-12821 If X is an instance of nose, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nostril (3) Z is an instance of nostril (4) equal Y (5) Z (6) Y is connected to X (7) Z is connected to X
(=>
    (instance ?NOSE Nose)
    (capability Smelling instrument ?NOSE))		 Mid-level-ontology.kif 13790-13792 If X is an instance of nose, then X is capable of doing smelling as a instrument
(=>
    (instance ?NOSE Nose)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?NOSE ?FACE))))		 Mid-level-ontology.kif 13794-13799 If X is an instance of nose, then there exists Y such that Y is an instance of face and X is a part of Y

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


(=>
    (instance ?N NasalCavity)
    (exists (?NOSE)
        (and
            (instance ?NOSE Nose)
            (equal ?NOSE
                (HoleHostFn ?N)))))		 Mid-level-ontology.kif 7208-7214 If X is an instance of nasal cavity, then there exists Y such that Y is an instance of nose, equal Y, and the host of the hole X
(=>
    (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 7241-7259 If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X
(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))		 Mid-level-ontology.kif 12823-12829 If X is an instance of nostril, then there exist Y, Z such that Y is an instance of nose, Z is an instance of throat, X connects Y, and Z