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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nostril
Nostril(nostril)
anterior_naris, nostril

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


(documentation Nostril EnglishLanguage "Either of two BodyVessels that run through the Nose and connect it to the Throat.") Mid-level-ontology.kif 11314-11315
(externalImage Nostril "http://upload.wikimedia.org/wikipedia/commons/9/ 94/ Horse_snout.jpg") pictureList.kif 6736-6736
(externalImage Nostril "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ Nostrils_by_David_Shankbone.jpg") pictureList.kif 7458-7458
(subclass Nostril AnimalAnatomicalStructure) Mid-level-ontology.kif 11313-11313 Nostril is a subclass of animal anatomical structure
(subclass Nostril BodyVessel) Mid-level-ontology.kif 11312-11312 Nostril is a subclass of body vessel

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


(termFormat ChineseLanguage Nostril "鼻孔") domainEnglishFormat.kif 41277-41277
(termFormat ChineseTraditionalLanguage Nostril "鼻孔") domainEnglishFormat.kif 41276-41276
(termFormat EnglishLanguage Nostril "nostril") domainEnglishFormat.kif 41275-41275

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


(=>
    (instance ?NOS Nostril)
    (exists (?N ?T)
        (and
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))
Mid-level-ontology.kif 11327-11333

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


(=>
    (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 11317-11325


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



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