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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Breathing
Breathing(breathing)Cheyne-Stokes_respiration, abdominal_breathing, aspirate, aspiration, blow, blown, breath, breathe, breathe_in, breathe_out, breathing, breathing_in, breathing_out, breathless, breathlessly, catch_one's_breath, choke, chuff, dyspneal, dyspneic, dyspnoeal, dyspnoeic, emanate, eupnea, eupneic, eupnoea, eupnoeic, exhalation, exhale, expiration, expiratory, expire, external_respiration, gag, gasp, give_forth, hack, halitus, heave, heaving, hiccough, hiccup, hold, huff, huffing, hyperpnea, hyperventilate, hyperventilation, hypopnea, inhalant...

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


s__documentation(s__Breathing,s__ChineseLanguage,'"这是呼吸的 ProcessAnimal 通过这过程取得氧气。这 包括吸入、呼出氧气和两者的不断交替的过程。"')

chinese_format.kif 2906-2907
s__documentation(s__Breathing,s__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
s__subclass(s__Breathing,s__AutonomicProcess)

s__instance(s__AutonomicProcess,s__SetOrClass)

s__instance(s__Breathing,s__SetOrClass)

Merge.kif 9809-9809 Breathing is a subclass of autonomic process
s__instance(s__OrganismProcess,s__SetOrClass)

s__instance(s__Breathing,s__SetOrClass)

s__subclass(s__Breathing,s__OrganismProcess)

Merge.kif 9808-9808 Breathing is a subclass of organism process

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


s__biochemicalAgentDelivery(s__AerosolizedBacillusAnthracis,s__Breathing)

WMD.kif 292-292 Breathing is a biochemical agent delivery of aerosolized bacillus anthracis
s__biochemicalAgentDelivery(s__BacillusAnthracis,s__Breathing)

WMD.kif 281-281 Breathing is a biochemical agent delivery of bacillus anthracis
s__biochemicalAgentDelivery(s__BacterialAgent,s__Breathing)

WMD.kif 200-200 Breathing is a biochemical agent delivery of bacterial agent
s__biochemicalAgentDelivery(s__BlisterAgent,s__Breathing)

WMD.kif 472-472 Breathing is a biochemical agent delivery of blister agent
s__biochemicalAgentDelivery(s__BloodAgent,s__Breathing)

WMD.kif 518-518 Breathing is a biochemical agent delivery of blood agent
s__biochemicalAgentDelivery(s__BordetellaPertussis,s__Breathing)

WMD.kif 1526-1526 Breathing is a biochemical agent delivery of bordetella pertussis
s__biochemicalAgentDelivery(s__BurkholderiaPseudomallei,s__Breathing)

WMD.kif 374-374 Breathing is a biochemical agent delivery of burkholderia pseudomallei
s__biochemicalAgentDelivery(s__ChlamydiaPsittaci,s__Breathing)

WMD.kif 1536-1536 Breathing is a biochemical agent delivery of chlamydia psittaci
s__biochemicalAgentDelivery(s__ChokingAgent,s__Breathing)

WMD.kif 598-598 Breathing is a biochemical agent delivery of choking agent
s__biochemicalAgentDelivery(s__CoxiellaBurnetii,s__Breathing)

WMD.kif 1236-1236 Breathing is a biochemical agent delivery of coxiella burnetii
s__biochemicalAgentDelivery(s__FrancisellaTularensis,s__Breathing)

WMD.kif 1193-1193 Breathing is a biochemical agent delivery of francisella tularensis
s__biochemicalAgentDelivery(s__JuninVirus,s__Breathing)

WMD.kif 1866-1866 Breathing is a biochemical agent delivery of junin virus
s__biochemicalAgentDelivery(s__MachupoVirus,s__Breathing)

WMD.kif 1879-1879 Breathing is a biochemical agent delivery of machupo virus
s__biochemicalAgentDelivery(s__MarburgVirus,s__Breathing)

WMD.kif 1674-1674 Breathing is a biochemical agent delivery of marburg virus
s__biochemicalAgentDelivery(s__MycobacteriumTuberculosis,s__Breathing)

WMD.kif 1666-1666 Breathing is a biochemical agent delivery of mycobacterium tuberculosis
s__biochemicalAgentDelivery(s__NerveAgent,s__Breathing)

WMD.kif 554-554 Breathing is a biochemical agent delivery of nerve agent
s__biochemicalAgentDelivery(s__Saxitoxin,s__Breathing)

WMD.kif 1427-1427 Breathing is a biochemical agent delivery of saxitoxin
s__biochemicalAgentDelivery(s__StaphylococcalEnterotoxinB,s__Breathing)

WMD.kif 1412-1412 Breathing is a biochemical agent delivery of staphylococcal enterotoxin b
s__instance(s__BreathingAtAMoreRapidRate,s__SetOrClass)

s__subclass(s__BreathingAtAMoreRapidRate,s__Breathing)

s__instance(s__Breathing,s__SetOrClass)

emotion.kif 1674-1674 Breathing at a more rapid rate is a subclass of breathing
s__subclass(s__Exhaling,s__Breathing)

s__instance(s__Breathing,s__SetOrClass)

s__instance(s__Exhaling,s__SetOrClass)

Mid-level-ontology.kif 9837-9837 Exhaling is a subclass of breathing
s__subclass(s__Inhaling,s__Breathing)

s__instance(s__Breathing,s__SetOrClass)

s__instance(s__Inhaling,s__SetOrClass)

Mid-level-ontology.kif 9826-9826 Inhaling is a subclass of breathing
s__termFormat(s__ChineseLanguage,s__Breathing,'"呼吸"')

chinese_format.kif 1078-1078
s__termFormat(s__EnglishLanguage,s__Breathing,'"breathing"')

english_format.kif 1372-1372

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


( ! [V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__CorpuscularObject) =>
       ((s__capability(s__Breathing,s__experiencer__m,V__ANIMAL)
         =>
         (( ? [V__LUNG] :
             ((s__component(V__LUNG,V__ANIMAL)
               &
               s__instance(V__LUNG,s__Lung))))))))
)
)

Mid-level-ontology.kif 9740-9745

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5936-5946
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Agent) =>
       ((s__attribute(V__ORGANISM,s__InhalationalAnthrax) =>
           (( ? [V__ANTHRACIS, V__BREATHING] :
               ((s__instance(V__ANTHRACIS,s__BacillusAnthracis) &
                   s__instance(V__BREATHING,s__Breathing) &
                   s__agent(V__BREATHING,V__ORGANISM)
                 &
                 s__patient(V__BREATHING,V__ANTHRACIS))))))))
)
)

WMD.kif 1136-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16474-16485
( ! [V__SCUBA] :
   ((s__instance(V__SCUBA,s__ScubaDiving) =>
       (( ? [V__WATER, V__DEVICE, V__BREATH] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__orientation(V__SCUBA,V__WATER,s__Below) &
               s__instance(V__DEVICE,s__Device) &
               s__instance(V__BREATH,s__Breathing) &
               s__instrument(V__BREATH,V__DEVICE)
             &
             s__subProcess(V__BREATH,V__SCUBA))))))
)
)

Mid-level-ontology.kif 24842-24851
( ! [V__SMOKING] :
   ((s__instance(V__SMOKING,s__Smoking) =>
       (( ? [V__BURN, V__CIGAR, V__BREATHE, V__SMOKE] :
           ((s__subProcess(V__BURN,V__SMOKING)
             &
             s__instance(V__BURN,s__Combustion) &
             s__resource(V__BURN,V__CIGAR)
           &
           s__instance(V__CIGAR,s__CigarOrCigarette) &
           s__result(V__BURN,V__SMOKE)
         &
         s__patient(V__BREATHE,V__SMOKE)
       &
       s__instance(V__BREATHE,s__Breathing) &
       s__subProcess(V__BREATHE,V__SMOKING))))))
)
)

Mid-level-ontology.kif 14252-14263


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