IntensiveCareUnit - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

If X is an instance of ICU and Y stays at X holds during Z, then the statement there exists W such that W is an instance of death and the time of existence of W finishes Z has the modal force of possibility