| TemporaryResidence(temporary residence) | | temporary_residence |
| appearance as argument number 1 |
|
|
| s__documentation(s__TemporaryResidence,s__ChineseLanguage,'这一处纯粹临时的 Residence，即是没有人会把 它当成是他/ 她的 home。') | Merge.kif 15947-15948 | |
| s__documentation(s__TemporaryResidence,s__EnglishLanguage,'A Residence which is strictly temporary, i.e. where no one makes his/ her home.') | Merge.kif 15945-15946 | |
| s__subclass(s__TemporaryResidence,s__Residence) s__instance(s__TemporaryResidence,s__SetOrClass) s__instance(s__Residence,s__SetOrClass)
|
Merge.kif 15944-15944 | Temporary residence is a subclass of residence |
| appearance as argument number 2 |
|
|
| s__instance(s__TemporaryResidence,s__SetOrClass) s__subclass(s__Dormitory,s__TemporaryResidence) s__instance(s__Dormitory,s__SetOrClass)
|
Mid-level-ontology.kif 6639-6639 | Dormitory is a subclass of temporary residence |
| s__instance(s__TemporaryResidence,s__SetOrClass) s__instance(s__HospitalBuilding,s__SetOrClass) s__subclass(s__HospitalBuilding,s__TemporaryResidence)
|
Mid-level-ontology.kif 7350-7350 | Hospital building is a subclass of temporary residence |
| s__instance(s__TemporaryResidence,s__SetOrClass) s__instance(s__HotelUnit,s__SetOrClass) s__subclass(s__HotelUnit,s__TemporaryResidence)
|
Hotel.kif 85-85 | Hotel unit is a subclass of temporary residence |
| s__termFormat(s__EnglishLanguage,s__TemporaryResidence,'temporary residence')
|
domainEnglishFormat.kif 10001-10001 | "temporary residence" is the printable form of temporary residence in english language |
| appearance as argument number 3 |
|
|
| s__disjointDecomposition__3(s__Residence,s__PermanentResidence,s__TemporaryResidence)
|
Merge.kif 15918-15918 | Residence is disjointly decomposed into permanent residence and temporary residence |
| s__domain(s__stays__m,2,s__TemporaryResidence)
|
Merge.kif 14438-14438 | The number 2 argument of stays is an instance of temporary residence |
|
|
|