PermanentResidence - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PermanentResidence Residence)	Merge.kif 16092-16092	Permanent residence is a subclass of residence
(documentation PermanentResidence EnglishLanguage "A Residence where people live, i.e. where people have a home.")	Merge.kif 16093-16094	Permanent residence is a subclass of residence

appearance as argument number 2

(disjointDecomposition Residence PermanentResidence TemporaryResidence)	Merge.kif 16079-16079	Residence is disjointly decomposed into permanent residence and temporary residence
(subclass SingleFamilyResidence PermanentResidence)	Merge.kif 16122-16122	Single family residence is a subclass of permanent residence
(subclass ExecutiveResidence PermanentResidence)	Government.kif 1509-1509	Executive residence is a subclass of permanent residence
(termFormat EnglishLanguage PermanentResidence "permanent residence")	domainEnglishFormat.kif 45257-45257	Executive residence is a subclass of permanent residence
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權")	domainEnglishFormat.kif 45258-45258	Executive residence is a subclass of permanent residence
(termFormat ChineseLanguage PermanentResidence "永久居留权")	domainEnglishFormat.kif 45259-45259	Executive residence is a subclass of permanent residence

appearance as argument number 3

(domain home 2 PermanentResidence)	Merge.kif 14699-14699	The number 2 argument of home is an instance of permanent residence
(domain landlord 2 PermanentResidence)	Mid-level-ontology.kif 8205-8205	The number 2 argument of landlord is an instance of permanent residence
(domain homeAddress 1 PermanentResidence)	Mid-level-ontology.kif 25546-25546	The number 1 argument of home address is an instance of permanent residence

antecedent

(=> (instance ?RESIDENCE PermanentResidence) (exists (?PERSON) (home ?PERSON ?RESIDENCE)))	Merge.kif 16096-16099	If X is an instance of permanent residence, then there exists Y such that the home of Y is X
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE)))	Mid-level-ontology.kif 27308-27315	If X has number Y, Y is the home phone of Z, X is located at W, and W is an instance of permanent residence holds during V, then the home of Z is W holds during V

consequent

(=>
    (instance ?DEVICE HouseholdAppliance)
    (hasPurpose ?DEVICE
        (exists (?PROC ?RESI)
            (and
                (instrument ?PROC ?DEVICE)
                (instance ?PROC Process)
                (instance ?RESI PermanentResidence)
                (partlyLocated ?PROC ?RESI)))))

If X is an instance of household appliance, then X has the purpose there exist Y, Z such that X is an instrument for Y, Y is an instance of process, Z is an instance of permanent residence, and Y is partly located in Z