Campground - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Campground LandArea)	Mid-level-ontology.kif 9414-9414	Campground is a subclass of land area
(documentation Campground EnglishLanguage "A LandArea whose purpose is to have MobileResidences (e.g. recreational vehicles, mobile homes, Tents, etc.) located there.")	Mid-level-ontology.kif 9415-9416	Campground is a subclass of land area
(externalImage Campground "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Iverhuron_Campsite.JPG")	pictureList.kif 5895-5895	Campground is a subclass of land area
(externalImage Campground "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Starlight_Mountain_-_encampment.jpg")	pictureList.kif 6225-6225	Campground is a subclass of land area
(externalImage Campground "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Campsite_Oludeniz.JPG")	pictureList.kif 6226-6226	Campground is a subclass of land area
(externalImage Campground "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Car_Camping_.jpg")	pictureList.kif 6227-6227	Campground is a subclass of land area
(externalImage Campground "http://upload.wikimedia.org/wikipedia/en/5/58/ Nova_Scotian_campsite.jpg")	pictureList.kif 6228-6228	Campground is a subclass of land area

appearance as argument number 2

(termFormat EnglishLanguage Campground "campground")	domainEnglishFormat.kif 12853-12853
(termFormat ChineseTraditionalLanguage Campground "營地")	domainEnglishFormat.kif 12854-12854
(termFormat ChineseLanguage Campground "营地")	domainEnglishFormat.kif 12855-12855

antecedent

(=>
    (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