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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nostril

Sigma KEE - Nostril
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 "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 11312-11312 Nostril e' uma sub-classe de AnimalAnatomicalStructure
(subclass Nostril BodyVessel) Mid-level-ontology.kif 11311-11311 Nostril e' uma sub-classe de Veia

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 11326-11332

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


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