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


KB Term:  Term intersection
English Word: 

  Nostril

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