IntensiveCareUnit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation IntensiveCareUnit EnglishLanguage "A part of a Hospital where the sickest patients are cared for.")	Mid-level-ontology.kif 22197-22198
(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 22195-22195	ICU is a subclass of building unit

appearance as argument number 2

(termFormat EnglishLanguage IntensiveCareUnit "ICU")	Mid-level-ontology.kif 22200-22200
(termFormat EnglishLanguage IntensiveCareUnit "intensive care unit")	Mid-level-ontology.kif 22199-22199

antecedent

(=>
    (holdsDuring ?T
        (and
            (instance ?ICU IntensiveCareUnit)
            (stays ?H ?ICU)))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (finishes
                    (WhenFn ?D) ?T))) Possibility))

Mid-level-ontology.kif 22202-22212