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 22171-22172
(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 22169-22169	IntensiveCareUnit is a subclass of BuildingUnit

appearance as argument number 2

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

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 22176-22186