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 20804-20808
(subclass BuildingUnit StationaryArtifact)	Mid-level-ontology.kif 20803-20803	Building unit is a subclass of stationary artifact

appearance as argument number 2

(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 20819-20819	ICU is a subclass of building unit
(termFormat EnglishLanguage BuildingUnit "building unit")	domainEnglishFormat.kif 64620-64620	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 20810-20817