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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 11313-11314
(externalImage Nostril " 94/ Horse_snout.jpg") pictureList.kif 6736-6736
(externalImage Nostril " 9c/ Nostrils_by_David_Shankbone.jpg") pictureList.kif 7458-7458
(subclass Nostril AnimalAnatomicalStructure) Mid-level-ontology.kif 11312-11312 Nostril is a subclass of animal anatomical structure
(subclass Nostril BodyVessel) Mid-level-ontology.kif 11311-11311 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


    (instance ?NOS Nostril)
    (exists (?N ?T)
            (instance ?N Nose)
            (instance ?T Throat)
            (connects ?NOS ?N ?T))))
Mid-level-ontology.kif 11326-11332


    (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 11316-11324

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