TemporaryResidence - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TemporaryResidence ChineseLanguage "这一处纯粹临时的 Residence，即是没有人会把它当成是他/ 她的 home。")	chinese_format.kif 3597-3598
(documentation TemporaryResidence EnglishLanguage "A Residence which is strictly temporary, i.e. where no one makes his/ her home.")	Merge.kif 15800-15801
(subclass TemporaryResidence Residence)	Merge.kif 15799-15799	TemporaryResidence ist eine teilkategorie von Residence

appearance as argument number 2

(subclass Dormitory TemporaryResidence)	Mid-level-ontology.kif 6979-6979	Dormitory ist eine teilkategorie von TemporaryResidence
(subclass HospitalBuilding TemporaryResidence)	Mid-level-ontology.kif 7646-7646	HospitalBuilding ist eine teilkategorie von TemporaryResidence
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	HotelUnit ist eine teilkategorie von TemporaryResidence
(termFormat ChineseLanguage TemporaryResidence "暂住")	domainEnglishFormat.kif 57464-57464
(termFormat ChineseTraditionalLanguage TemporaryResidence "暫住")	domainEnglishFormat.kif 57463-57463
(termFormat EnglishLanguage TemporaryResidence "temporary residence")	domainEnglishFormat.kif 57462-57462

appearance as argument number 3

(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 15777-15777	Residence wird zusammenhanglos auf PermanentResidence und TemporaryResidence disjunkt
(domain stays 2 TemporaryResidence)	Merge.kif 14395-14395	Die Zahl 2 Argument von stays ist ein fall von TemporaryResidence %n{nicht}

consequent

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

Mid-level-ontology.kif 7658-7664

Wenn AutonomousAgent ist ein fall von MedicalClinic %n{nicht},
dann es gibt nicht Object um ** AutonomousAgent besitzt ** Object %n{nicht} und ** Object ist ein fall von TemporaryResidence %n{nicht}