|
|
   Camp
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Camp EnglishLanguage "A MobileResidence consisting of tents and other temporary living quarters that is constructed on an undeveloped LandArea.") | Mid-level-ontology.kif 6809-6810 | |
| (subclass Camp MobileResidence) | Mid-level-ontology.kif 6808-6808 | Camp est une sous-classe de MobileResidence |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Camp "营") | domainEnglishFormat.kif 12841-12841 | |
| (termFormat ChineseTraditionalLanguage Camp "營") | domainEnglishFormat.kif 12840-12840 | |
| (termFormat EnglishLanguage Camp "camp") | domainEnglishFormat.kif 12839-12839 |
| antecedent |
|
|
| (=> (instance ?CAMP Camp) (exists (?TENT) (and (instance ?TENT Tent) (part ?TENT ?CAMP)))) |
Mid-level-ontology.kif 6812-6817 |
|
|
|