| ExerciseCenter(exercise center) | | gym, gymnasium, health_club, health_spa, spa |
| appearance as argument number 1 |
|
|
| (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 27859-27861 | |
| (subclass ExerciseCenter SportsFacility) | Mid-level-ontology.kif 27858-27858 | Exercise center is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExerciseCenter "exercise center") | Mid-level-ontology.kif 27862-27862 |
| antecedent |
|
|
| (=> (instance ?X ExerciseCenter) (hasPurpose ?X (exists (?DEVICE) (and (or (instance ?DEVICE AerobicExerciseDevice) (instance ?DEVICE AnaerobicExerciseDevice)) (located ?DEVICE ?X))))) |
Mid-level-ontology.kif 27864-27872 |
|
|
|
|