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 20562-20563
(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 20560-20560

appearance as argument number 2

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

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 20567-20577