Dormitory |
appearance as argument number 1 |
(disjoint Dormitory SingleFamilyResidence) | Mid-level-ontology.kif 7007-7007 | Dormitory e' disjunto de SingleFamilyResidence |
(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 7008-7009 | |
(externalImage Dormitory "http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Sharp_Hall_Dorm_Room.jpg") | pictureList.kif 1731-1731 | |
(externalImage Dormitory "http://upload.wikimedia.org/wikipedia/en/1/17/ Bowles.jpg") | pictureList.kif 2149-2149 | |
(externalImage Dormitory "http://upload.wikimedia.org/wikipedia/en/1/1b/ CSUMB_Bldg208.JPG") | pictureList.kif 2150-2150 | |
(subclass Dormitory ResidentialBuilding) | Mid-level-ontology.kif 7005-7005 | Dormitory e' uma sub-classe de ResidentialBuilding |
(subclass Dormitory TemporaryResidence) | Mid-level-ontology.kif 7006-7006 | Dormitory e' uma sub-classe de TemporaryResidence |
appearance as argument number 2 |
(termFormat ChineseLanguage Dormitory "宿舍") | domainEnglishFormat.kif 20208-20208 | |
(termFormat ChineseTraditionalLanguage Dormitory "宿舍") | domainEnglishFormat.kif 20207-20207 | |
(termFormat EnglishLanguage Dormitory "dormitory") | domainEnglishFormat.kif 20206-20206 |
antecedent |
(=> (instance ?D Dormitory) (exists (?S) (and (instance ?S School) (possesses ?S ?D)))) |
Mid-level-ontology.kif 7011-7016 |
|