Campground - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Campground LandArea)	Mid-level-ontology.kif 9490-9490	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 9491-9492	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