![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExerciseCenter(exercise center) | gym, gymnasium, health_club, health_spa, spa |
| appearance as argument number 1 |
|
|
| (subclass ExerciseCenter SportsFacility) | Mid-level-ontology.kif 29357-29357 | Exercise center is a subclass of sports facility |
| (documentation ExerciseCenter EnglishLanguage "ExerciseCenter refers to a type of SportsFacility that has equipment and services for physical training and keeping fit") | Mid-level-ontology.kif 29358-29360 | Exercise center is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExerciseCenter "exercise center") | Mid-level-ontology.kif 29361-29361 |
| antecedent |
|
|
| (=> (instance ?X ExerciseCenter) (hasPurpose ?X (exists (?DEVICE) (and (or (instance ?DEVICE AerobicExerciseDevice) (instance ?DEVICE AnaerobicExerciseDevice)) (located ?DEVICE ?X))))) |
Mid-level-ontology.kif 29363-29371 | If X is an instance of exercise center, then X has the purpose there exists Y such that Y is an instance of aerobic exercise device or Y is an instance of anaerobic exercise device and Y is located at X |