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 20821-20822
(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 20819-20819	ICU is a subclass of building unit

appearance as argument number 2

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

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 20826-20836