TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Camp MobileResidence)	Mid-level-ontology.kif 8124-8124	Camp is a subclass of mobile residence
(documentation Camp EnglishLanguage "A MobileResidence consisting of tents and other temporary living quarters that is constructed on an undeveloped LandArea.")	Mid-level-ontology.kif 8125-8126	Camp is a subclass of mobile residence

appearance as argument number 2

(termFormat EnglishLanguage Camp "camp")	domainEnglishFormat.kif 12847-12847
(termFormat ChineseTraditionalLanguage Camp "營")	domainEnglishFormat.kif 12848-12848
(termFormat ChineseLanguage Camp "营")	domainEnglishFormat.kif 12849-12849

antecedent

(=>
    (instance ?CAMP Camp)
    (exists (?TENT)
        (and
            (instance ?TENT Tent)
            (part ?TENT ?CAMP))))

If X is an instance of camp, then there exists Y such that Y is an instance of tent and Y is a part of X