TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

If X is an instance of building unit, then there exist Y, Z such that Z is an instance of building, Y is an instance of organization, X is a part of Z, and members of Y work at X