TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Dormitory ResidentialBuilding)	Mid-level-ontology.kif 8294-8294	Dormitory is a subclass of residential building
(subclass Dormitory TemporaryResidence)	Mid-level-ontology.kif 8295-8295	Dormitory is a subclass of temporary residence
(disjoint Dormitory SingleFamilyResidence)	Mid-level-ontology.kif 8296-8296	Dormitory is disjoint from single family residence
(documentation Dormitory EnglishLanguage "A TemporaryResidence which is owned by a School and which is used to house students while they take classes at the School.")	Mid-level-ontology.kif 8297-8298	Dormitory is disjoint from single family residence
(externalImage Dormitory "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Sharp_Hall_Dorm_Room.jpg")	pictureList.kif 1730-1730	Dormitory is disjoint from single family residence
(externalImage Dormitory "http://upload.wikimedia.org/wikipedia/en/1/17/ Bowles.jpg")	pictureList.kif 2148-2148	Dormitory is disjoint from single family residence
(externalImage Dormitory "http://upload.wikimedia.org/wikipedia/en/1/1b/ CSUMB_Bldg208.JPG")	pictureList.kif 2149-2149	Dormitory is disjoint from single family residence

appearance as argument number 2

(termFormat EnglishLanguage Dormitory "dormitory")	domainEnglishFormat.kif 20208-20208
(termFormat ChineseTraditionalLanguage Dormitory "宿舍")	domainEnglishFormat.kif 20209-20209
(termFormat ChineseLanguage Dormitory "宿舍")	domainEnglishFormat.kif 20210-20210

antecedent

(=>
    (instance ?D Dormitory)
    (exists (?S)
        (and
            (instance ?S School)
            (possesses ?S ?D))))

If X is an instance of dormitory, then there exists Y such that Y is an instance of school and Y possesses X