TemporaryResidence - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TemporaryResidence Residence)	Merge.kif 16101-16101
(documentation TemporaryResidence EnglishLanguage "A Residence which is strictly temporary, i.e. where no one makes his/ her home.")	Merge.kif 16102-16103

appearance as argument number 2

(subclass Dormitory TemporaryResidence)	Mid-level-ontology.kif 8295-8295
(subclass HospitalBuilding TemporaryResidence)	Mid-level-ontology.kif 8967-8967
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90
(termFormat EnglishLanguage TemporaryResidence "temporary residence")	domainEnglishFormat.kif 57461-57461
(termFormat ChineseTraditionalLanguage TemporaryResidence "暫住")	domainEnglishFormat.kif 57462-57462
(termFormat ChineseLanguage TemporaryResidence "暂住")	domainEnglishFormat.kif 57463-57463

appearance as argument number 3

(domain stays 2 TemporaryResidence)	Merge.kif 14707-14707
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 16079-16079

consequent

(=>
    (instance ?C MedicalClinic)
    (not
        (exists (?B)
            (and
                (possesses ?C ?B)
                (instance ?B TemporaryResidence)))))