| Dormitory(dormitory)
| | dorm, dormitory, hall, residence_hall, student_residence |
| appearance as argument number 1 |
|
|
| (disjoint Dormitory SingleFamilyResidence) | Mid-level-ontology.kif 7198-7198 | 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 7199-7200 | Dormitory is disjoint from single family residence |
| (externalImage Dormitory "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Sharp_Hall_Dorm_Room.jpg") | pictureList.kif 1731-1731 | Dormitory is disjoint from single family residence |
| (externalImage Dormitory "http://upload.wikimedia.org/wikipedia/en/1/17/ Bowles.jpg") | pictureList.kif 2149-2149 | Dormitory is disjoint from single family residence |
| (externalImage Dormitory "http://upload.wikimedia.org/wikipedia/en/1/1b/ CSUMB_Bldg208.JPG") | pictureList.kif 2150-2150 | Dormitory is disjoint from single family residence |
| (subclass Dormitory ResidentialBuilding) | Mid-level-ontology.kif 7196-7196 | Dormitory is a subclass of residential building |
| (subclass Dormitory TemporaryResidence) | Mid-level-ontology.kif 7197-7197 | Dormitory is a subclass of temporary residence |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dormitory "宿舍") | domainEnglishFormat.kif 20224-20224 | |
| (termFormat ChineseTraditionalLanguage Dormitory "宿舍") | domainEnglishFormat.kif 20223-20223 | |
| (termFormat EnglishLanguage Dormitory "dormitory") | domainEnglishFormat.kif 20222-20222 |
| antecedent |
|
|
| (=> (instance ?D Dormitory) (exists (?S) (and (instance ?S School) (possesses ?S ?D)))) |
Mid-level-ontology.kif 7202-7207 |
|
|
|