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 22170-22174
(subclass BuildingUnit StationaryArtifact)	Mid-level-ontology.kif 22169-22169

appearance as argument number 2

(subclass IntensiveCareUnit BuildingUnit)	Mid-level-ontology.kif 22185-22185
(termFormat EnglishLanguage BuildingUnit "building unit")	domainEnglishFormat.kif 64595-64595

antecedent

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

Mid-level-ontology.kif 22176-22183