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 9690-9692
(subclass Breathing AutonomicProcess) Merge.kif 9688-9688
(subclass Breathing OrganismProcess) Merge.kif 9687-9687

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 1486-1486
(biochemicalAgentDelivery BurkholderiaPseudomallei Breathing) WMD.kif 374-374
(biochemicalAgentDelivery ChlamydiaPsittaci Breathing) WMD.kif 1496-1496
(biochemicalAgentDelivery ChokingAgent Breathing) WMD.kif 598-598
(biochemicalAgentDelivery CoxiellaBurnetii Breathing) WMD.kif 1202-1202
(biochemicalAgentDelivery FrancisellaTularensis Breathing) WMD.kif 1159-1159
(biochemicalAgentDelivery JuninVirus Breathing) WMD.kif 1826-1826
(biochemicalAgentDelivery MachupoVirus Breathing) WMD.kif 1839-1839
(biochemicalAgentDelivery MarburgVirus Breathing) WMD.kif 1634-1634
(biochemicalAgentDelivery MycobacteriumTuberculosis Breathing) WMD.kif 1626-1626
(biochemicalAgentDelivery NerveAgent Breathing) WMD.kif 554-554
(biochemicalAgentDelivery Saxitoxin Breathing) WMD.kif 1393-1393
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Breathing) WMD.kif 1378-1378
(subclass BreathingAtAMoreRapidRate Breathing) emotion.kif 1674-1674
(subclass Exhaling Breathing) Mid-level-ontology.kif 8752-8752
(subclass Inhaling Breathing) Mid-level-ontology.kif 8741-8741
(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 8709-8714

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 5631-5641
(=>
    (attribute ?ORGANISM InhalationalAnthrax)
    (exists (?ANTHRACIS ?BREATHING)
        (and
            (instance ?ANTHRACIS BacillusAnthracis)
            (instance ?BREATHING Breathing)
            (agent ?BREATHING ?ORGANISM)
            (patient ?BREATHING ?ANTHRACIS))))
WMD.kif 1102-1109
(=>
    (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 14999-15010
(=>
    (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 23096-23105
(=>
    (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 12777-12788


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