TemporaryResidence - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TemporaryResidence Residence)	Merge.kif 15977-15977	Temporary residence is a subclass of residence
(documentation TemporaryResidence EnglishLanguage "A Residence which is strictly temporary, i.e. where no one makes his/ her home.")	Merge.kif 15978-15979	Temporary residence is a subclass of residence

appearance as argument number 2

(subclass Dormitory TemporaryResidence)	Mid-level-ontology.kif 8168-8168	Dormitory is a subclass of temporary residence
(subclass HospitalBuilding TemporaryResidence)	Mid-level-ontology.kif 8859-8859	Hospital building is a subclass of temporary residence
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	Hotel unit is a subclass of temporary residence
(termFormat EnglishLanguage TemporaryResidence "temporary residence")	domainEnglishFormat.kif 57461-57461	Hotel unit is a subclass of temporary residence
(termFormat ChineseTraditionalLanguage TemporaryResidence "暫住")	domainEnglishFormat.kif 57462-57462	Hotel unit is a subclass of temporary residence
(termFormat ChineseLanguage TemporaryResidence "暂住")	domainEnglishFormat.kif 57463-57463	Hotel unit is a subclass of temporary residence

appearance as argument number 3

(domain stays 2 TemporaryResidence)	Merge.kif 14574-14574	The number 2 argument of stays is an instance of temporary residence
(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15955-15955	Residence is disjointly decomposed into permanent residence and temporary residence

consequent

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

If X is an instance of clinic, then there doesn't exist Y such that X possesses Y and Y is an instance of temporary residence