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


KB Term:  Term intersection
English Word: 

Sigma KEE - Nostril
Nostril(nostril)
anterior_naris, nostril

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


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

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


(termFormat EnglishLanguage Nostril "nostril") domainEnglishFormat.kif 41282-41282
(termFormat ChineseTraditionalLanguage Nostril "鼻孔") domainEnglishFormat.kif 41283-41283
(termFormat ChineseLanguage Nostril "鼻孔") domainEnglishFormat.kif 41284-41284

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


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

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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners