| TemporaryResidence | | temporary_residence |
| appearance as argument number 1 |
|
|
| s__documentation(s__TemporaryResidence,s__ChineseLanguage,'这一处纯粹临时的 Residence，即是没有人会把 它当成是他/她的 home。') | Merge.kif 15889-15890 | |
| s__documentation(s__TemporaryResidence,s__EnglishLanguage,'A Residence which is strictly temporary, i.e. where no one makes his/her home.') | Merge.kif 15887-15888 | |
| s__instance(s__TemporaryResidence,s__SetOrClass)
|
Merge.kif 15886-15886 |
| appearance as argument number 2 |
|
|
| s__instance(s__Dormitory,s__SetOrClass)
|
Mid-level-ontology.kif 6639-6639 | |
| s__instance(s__TemporaryResidence,s__SetOrClass)
|
Mid-level-ontology.kif 7350-7350 | |
| s__instance(s__TemporaryResidence,s__SetOrClass)
|
Hotel.kif 85-85 | |
| s__termFormat(s__EnglishLanguage,s__TemporaryResidence,'temporary residence')
|
domainEnglishFormat.kif 10001-10001 |
| appearance as argument number 3 |
|
|
| s__disjointDecomposition_3(s__Residence,s__PermanentResidence,s__TemporaryResidence)
|
Merge.kif 15860-15860 | |
| s__domain(s__stays__m,2,s__TemporaryResidence)
|
Merge.kif 14380-14380 |
| antecedent |
|
|
| ( ! [V__RESIDENCE] : (s__instance(V__RESIDENCE,s__TemporaryResidence) => (~ (? [V__PERSON] : s__home(V__PERSON,V__RESIDENCE)))) )
|
Merge.kif 15892-15896 |
|
|
|