Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Tent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Tent MobileResidence) | Mid-level-ontology.kif 8135-8135 | Tent is a subclass of mobile residence |
| (documentation Tent EnglishLanguage "A MobileResidence that is made of Fabric and poles and can be easily assembled and disassembled.") | Mid-level-ontology.kif 8136-8137 | Tent is a subclass of mobile residence |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TENT Tent) (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?TENT)))) |
Mid-level-ontology.kif 8139-8144 | If X is an instance of tent, then there exists Y such that Y is an instance of fabric and Y is a part of X |
| consequent |
|
|
| (=> (instance ?CAMP Camp) (exists (?TENT) (and (instance ?TENT Tent) (part ?TENT ?CAMP)))) |
Mid-level-ontology.kif 8128-8133 | 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 |
|