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 10278-10280
(documentation Breathing JapaneseLanguage "呼吸の Process は、酸素が Animal に利用可能に なる。これは、吸入、呼気、およびその2間の交互のプロセスをカバーしている。") japanese_format.kif 1655-1656
(subclass Breathing AutonomicProcess) Merge.kif 10276-10276
(subclass Breathing OrganismProcess) Merge.kif 10275-10275

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 477-477
(biochemicalAgentDelivery BloodAgent Breathing) WMD.kif 523-523
(biochemicalAgentDelivery BordetellaPertussis Breathing) WMD.kif 1588-1588
(biochemicalAgentDelivery BurkholderiaPseudomallei Breathing) WMD.kif 374-374
(biochemicalAgentDelivery ChlamydiaPsittaci Breathing) WMD.kif 1598-1598
(biochemicalAgentDelivery ChokingAgent Breathing) WMD.kif 603-603
(biochemicalAgentDelivery CoxiellaBurnetii Breathing) WMD.kif 1250-1250
(biochemicalAgentDelivery FrancisellaTularensis Breathing) WMD.kif 1207-1207
(biochemicalAgentDelivery JuninVirus Breathing) WMD.kif 1927-1927
(biochemicalAgentDelivery MachupoVirus Breathing) WMD.kif 1940-1940
(biochemicalAgentDelivery MarburgVirus Breathing) WMD.kif 1735-1735
(biochemicalAgentDelivery MycobacteriumTuberculosis Breathing) WMD.kif 1727-1727
(biochemicalAgentDelivery NerveAgent Breathing) WMD.kif 559-559
(biochemicalAgentDelivery Saxitoxin Breathing) WMD.kif 1457-1457
(biochemicalAgentDelivery StaphylococcalEnterotoxinB Breathing) WMD.kif 1442-1442
(subclass BreathingAtAMoreRapidRate Breathing) emotion.kif 1700-1700
(subclass Exhaling Breathing) Mid-level-ontology.kif 11519-11519
(subclass Inhaling Breathing) Mid-level-ontology.kif 11508-11508
(termFormat ChineseLanguage Breathing "呼吸") chinese_format.kif 1078-1078
(termFormat EnglishLanguage Breathing "breathing") english_format.kif 1367-1367
(termFormat FrenchLanguage Breathing "respirer") french_format.kif 756-756

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?IV InvasiveVentilator)
        (instance ?B Breathing)
        (experiencer ?B ?H)
        (instrument ?B ?IV))
    (exists (?IN)
        (and
            (instance ?IN Intubation)
            (destination ?IN ?H)
            (earlier
                (WhenFn ?IN)
                (WhenFn ?B)))))
Medicine.kif 4105-4117
(=>
    (and
        (instance ?T TimePeriod)
        (duration ?T
            (MeasureFn ?N MinuteDuration))
        (greaterThan ?N 5.0)
        (instance ?H Human)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (during
                        (WhenFn ?B) ?T)
                    (patient ?B ?H)))))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (meetsTemporally ?T
                    (WhenFn ?D)))) Likely))
Medicine.kif 5997-6017
(=>
    (capability Breathing experiencer ?ANIMAL)
    (exists (?LUNG)
        (and
            (component ?LUNG ?ANIMAL)
            (instance ?LUNG Lung))))
Mid-level-ontology.kif 11409-11414

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


(=>
    (and
        (instance ?A Asphyxiation)
        (experiencer ?A ?M))
    (holdsDuring
        (WhenFn ?A)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (experiencer ?B ?A))))))
Medicine.kif 6304-6313
(=>
    (and
        (instance ?C Cricothyroidotomy)
        (patient ?C ?O))
    (hasPurpose ?C
        (and
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (exists (?B)
                    (and
                        (instance ?B
                            (ImpairmentFn Breathing))
                        (patient ?B ?O))))
            (not
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?C))
                    (exists (?B)
                        (and
                            (instance ?B
                                (ImpairmentFn Breathing))
                            (patient ?B ?O))))))))
Medicine.kif 767-785
(=>
    (and
        (instance ?I Intubation)
        (instance ?T Tube)
        (objectTransferred ?I ?T)
        (experiencer ?I ?H))
    (hasPurpose ?I
        (exists (?B)
            (and
                (instance ?B Breathing)
                (instrument ?B ?T)))))
Medicine.kif 4123-4133
(=>
    (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 6531-6541
(=>
    (attribute ?H Asthma)
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (experiencer ?I ?H))))
Medicine.kif 3417-3423
(=>
    (attribute ?H ChronicObstructivePulmonaryDisease)
    (instance ?H
        (ImpairmentFn Breathing)))
Mid-level-ontology.kif 5980-5983
(=>
    (attribute ?ORGANISM InhalationalAnthrax)
    (exists (?ANTHRACIS ?BREATHING)
        (and
            (instance ?ANTHRACIS BacillusAnthracis)
            (instance ?BREATHING Breathing)
            (agent ?BREATHING ?ORGANISM)
            (patient ?BREATHING ?ANTHRACIS))))
WMD.kif 1150-1157
(=>
    (holdsDuring ?T
        (and
            (attribute ?H SleepApnea)
            (attribute ?H Sleeping)))
    (exists (?T2 ?B ?B2)
        (and
            (during ?T2 ?T)
            (not
                (exists (?B)
                    (and
                        (instance ?B Breathing)
                        (during
                            (WhenFn ?B) ?T2)
                        (experiencer ?B ?H))))
            (holdsDuring ?T2
                (and
                    (instance ?B2 Breathing)
                    (needs ?H ?B2))))))
Medicine.kif 4161-4178
(=>
    (holdsDuring ?T
        (attribute ?H Pneumothorax))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (patient ?I ?H)
            (during ?T
                (WhenFn ?I)))))
Medicine.kif 812-821
(=>
    (instance ?NA NasopharyngealAirway)
    (hasPurpose ?NA
        (exists (?H ?B)
            (and
                (instance ?B Breathing)
                (located ?B ?H)
                (holdsDuring
                    (WhenFn ?B)
                    (attribute ?H Unconscious))
                (path ?B ?NA)))))
Medicine.kif 730-740
(=>
    (instance ?S Suffocating)
    (holdsDuring
        (EndFn
            (WhenFn ?S))
        (exists (?P)
            (and
                (experiencer ?S ?P)
                (not
                    (exists (?B)
                        (and
                            (instance ?B Breathing)
                            (experiencer ?B ?P))))))))
Mid-level-ontology.kif 18717-18729
(=>
    (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 27166-27175
(=>
    (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 16289-16300