TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MobileResidence MobileStructure)	Mid-level-ontology.kif 7918-7918	Mobile residence is a subclass of mobile structure
(disjoint MobileResidence Residence)	Mid-level-ontology.kif 7919-7919	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 7920-7923	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 8124-8124	Camp is a subclass of mobile residence
(subclass Tent MobileResidence)	Mid-level-ontology.kif 8135-8135	Tent is a subclass of mobile residence
(subclass RecreationalVehicle MobileResidence)	Mid-level-ontology.kif 28332-28332	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