Trachea - Sigma Knowledge base Browser

appearance as argument number 1

(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 12092-12092	connectedBodyPart Trachea and Lung
(documentation Trachea EnglishLanguage "A BodyVessel which connects the Throat to the Lungs.")	Mid-level-ontology.kif 11736-11737
(subclass Trachea Airway)	Mid-level-ontology.kif 11735-11735	Trachea は Airway の subclass では %n
(subclass Trachea BodyVessel)	Mid-level-ontology.kif 11734-11734	Trachea は身体血管の subclass では %n

appearance as argument number 2

(connectedBodyPart Mouth Trachea)	Mid-level-ontology.kif 12090-12090	connectedBodyPart Mouth and Trachea
(connectedBodyPart Nose Trachea)	Mid-level-ontology.kif 12091-12091	connectedBodyPart Nose and Trachea
(termFormat EnglishLanguage Trachea "trachea")	Mid-level-ontology.kif 11738-11738

antecedent

(=>
    (instance ?T Trachea)
    (exists (?TH)
        (and
            (instance ?TH Throat)
            (connected ?TH ?T))))

Mid-level-ontology.kif 11740-11745

オブジェクトは Trachea の instance では %n
オブジェクトH オブジェクトH は Throat の instance では %n オブジェクトH はオブジェクトと connected して

consequent

(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L))))))	Mid-level-ontology.kif 11754-11769	工程は Choking の instance では %n AutonomousAgent が工程を experiences %n{ない} エンティティーオブジェクト and オブジェクトエンティティーはオブジェクトの instance では %n オブジェクトは Trachea の instance では %n オブジェクトは Lung の instance では %n オブジェクトは AutonomousAgent の part では %n オブジェクトは AutonomousAgent の part では %n エンティティーはオブジェクトに located して %n エンティティーはオブジェクトに located して %n は工程の time の existence の during holds %n{ない}
(=> (and (instance ?I Intubation) (instance ?T Tube) (objectTransferred ?I ?T) (experiencer ?I ?H)) (exists (?TH) (and (instance ?TH Trachea) (part ?TH ?H) (destination ?I ?TH))))	Medicine.kif 4135-4145	移動は Intubation の instance では %n オブジェクトは Tube の instance では %n objectTransferred 移動 and オブジェクト AutonomousAgent が移動を experiences %n{ない} オブジェクトH オブジェクトH は Trachea の instance では %n オブジェクトH は AutonomousAgent の part では %n 移動はオブジェクトH に ends %n{ない}

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

KB Term:			Term intersection

English Word: