MobileResidence - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MobileResidence MobileStructure)	Mid-level-ontology.kif 7785-7785	Mobile residence is a subclass of mobile structure
(disjoint MobileResidence Residence)	Mid-level-ontology.kif 7786-7786	Mobile residence is disjoint from residence
(documentation MobileResidence EnglishLanguage "Anything which serves to house people but which changes its location from time to time, e.g. a motorhome, a mobile home, a camp, etc. Note that MobileResidence is disjoint from Residence, because the latter is a subclass of StationaryArtifact.")	Mid-level-ontology.kif 7787-7790	Mobile residence is disjoint from residence
(externalImage MobileResidence "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ 67elcona.JPG")	pictureList.kif 4780-4780	Mobile residence is disjoint from residence

appearance as argument number 2

(subclass Camp MobileResidence)	Mid-level-ontology.kif 7987-7987	Camp is a subclass of mobile residence
(subclass Tent MobileResidence)	Mid-level-ontology.kif 7998-7998	Tent is a subclass of mobile residence
(subclass RecreationalVehicle MobileResidence)	Mid-level-ontology.kif 28428-28428	Rv is a subclass of mobile residence
(termFormat EnglishLanguage MobileResidence "mobile residence")	domainEnglishFormat.kif 38171-38171	Rv is a subclass of mobile residence
(termFormat ChineseTraditionalLanguage MobileResidence "移動住宅")	domainEnglishFormat.kif 38172-38172	Rv is a subclass of mobile residence
(termFormat ChineseLanguage MobileResidence "移动住宅")	domainEnglishFormat.kif 38173-38173	Rv is a subclass of mobile residence

antecedent

(=>
    (instance ?R MobileResidence)
    (hasPurpose ?R
        (exists (?H ?T)
            (and
                (instance ?H Human)
                (instance ?T Translocation)
                (inhabits ?H ?R)
                (patient ?T ?R)))))

If X is an instance of mobile residence, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of translocation, Y lives in X, and X is a patient of Z

consequent

(=>
    (instance ?C Campground)
    (hasPurpose ?C
        (exists (?R)
            (and
                (instance ?R MobileResidence)
                (located ?R ?C)))))

If X is an instance of campground, then X has the purpose there exists Y such that Y is an instance of mobile residence and Y is located at X