BuildingUnit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BuildingUnit EnglishLanguage "A functional area of a Building that is used by an Organization to keep related people and activities physically close. This might be a particular grade level of a school, area of study of a university such as Botany department, or the phone sales team of a Corporation.")	Mid-level-ontology.kif 22154-22158
(subclass BuildingUnit StationaryArtifact)	Mid-level-ontology.kif 22153-22153	Building unit is a subclass of stationary artifact

appearance as argument number 2

(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 22169-22169	ICU is a subclass of building unit
(termFormat EnglishLanguage BuildingUnit "building unit")	domainEnglishFormat.kif 64565-64565	ICU is a subclass of building unit

antecedent

(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))

Mid-level-ontology.kif 22160-22167