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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Breathing
Breathing

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


(documentation Breathing ChineseLanguage "这是呼吸的 ProcessAnimal 通过这过程取得氧气。这 包括吸入、呼出氧气和两者的不断交替的过程。") chinese_format.kif 2906-2907
(documentation Breathing EnglishLanguage "The Process of respiration, by which oxygen is made available to an Animal. This covers processes of inhalation, exhalation, and alternations between the two.") Merge.kif 9811-9813
(subclass Breathing AutonomicProcess) Merge.kif 9809-9809
(subclass Breathing OrganismProcess) Merge.kif 9808-9808

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


(biochemicalAgentDelivery AerosolizedBacillusAnthracis Breathing) WMD.kif 292-292
(biochemicalAgentDelivery BacillusAnthracis Breathing) WMD.kif 281-281
(biochemicalAgentDelivery BacterialAgent Breathing) WMD.kif 200-200
(biochemicalAgentDelivery BlisterAgent Breathing) WMD.kif 472-472
(biochemicalAgentDelivery BloodAgent Breathing) WMD.kif 518-518
(biochemicalAgentDelivery BordetellaPertussis Breathing) WMD.kif 1526-1526
(biochemicalAgentDelivery BurkholderiaPseudomallei Breathing) WMD.kif 374-374
(biochemicalAgentDelivery ChlamydiaPsittaci Breathing) WMD.kif 1536-1536
(biochemicalAgentDelivery ChokingAgent Breathing) WMD.kif 598-598
(biochemicalAgentDelivery CoxiellaBurnetii Breathing) WMD.kif 1236-1236
(biochemicalAgentDelivery FrancisellaTularensis Breathing) WMD.kif 1193-1193
(biochemicalAgentDelivery JuninVirus Breathing) WMD.kif 1866-1866
(biochemicalAgentDelivery MachupoVirus Breathing) WMD.kif 1879-1879
(biochemicalAgentDelivery MarburgVirus Breathing) WMD.kif 1674-1674
(biochemicalAgentDelivery MycobacteriumTuberculosis Breathing) WMD.kif 1666-1666
(biochemicalAgentDelivery NerveAgent Breathing) WMD.kif 554-554
(biochemicalAgentDelivery Saxitoxin Breathing) WMD.kif 1427-1427
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Breathing) WMD.kif 1412-1412
(subclass BreathingAtAMoreRapidRate Breathing) emotion.kif 1675-1675
(subclass Exhaling Breathing) Mid-level-ontology.kif 9946-9946
(subclass Inhaling Breathing) Mid-level-ontology.kif 9935-9935
(termFormat ChineseLanguage Breathing "呼吸") chinese_format.kif 1078-1078
(termFormat EnglishLanguage Breathing "breathing") english_format.kif 1372-1372

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


(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))
Mid-level-ontology.kif 9849-9854

consequent
-------------------------


(=>
    (and
        (instance ?S Strangling)
        (patient ?S ?V)
        (instance ?V Human))
    (hasPurpose ?S
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (agent ?B ?V))))))
Mid-level-ontology.kif 5958-5968
(=>
    (attribute ?ORGANISM InhalationalAnthrax)
    (exists (?ANTHRACIS ?BREATHING)
        (and
            (instance ?ANTHRACIS BacillusAnthracis)
            (instance ?BREATHING Breathing)
            (agent ?BREATHING ?ORGANISM)
            (patient ?BREATHING ?ANTHRACIS))))
WMD.kif 1136-1143
(=>
    (instance ?S Suffocating)
    (holdsDuring
        (EndFn
            (WhenFn ?S))
        (and
            (experiencer ?S ?P)
            (not
                (exists (?B)
                    (and
                        (instance ?B Breathing)
                        (experiencer ?B ?P)))))))
Mid-level-ontology.kif 16598-16609
(=>
    (instance ?SCUBA ScubaDiving)
    (exists (?WATER ?DEVICE ?BREATH)
        (and
            (instance ?WATER WaterArea)
            (orientation ?SCUBA ?WATER Below)
            (instance ?DEVICE Device)
            (instance ?BREATH Breathing)
            (instrument ?BREATH ?DEVICE)
            (subProcess ?BREATH ?SCUBA))))
Mid-level-ontology.kif 25012-25021
(=>
    (instance ?SMOKING Smoking)
    (exists (?BURN ?CIGAR ?BREATHE ?SMOKE)
        (and
            (subProcess ?BURN ?SMOKING)
            (instance ?BURN Combustion)
            (resource ?BURN ?CIGAR)
            (instance ?CIGAR CigarOrCigarette)
            (result ?BURN ?SMOKE)
            (patient ?BREATHE ?SMOKE)
            (instance ?BREATHE Breathing)
            (subProcess ?BREATHE ?SMOKING))))
Mid-level-ontology.kif 14376-14387


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