ExerciseCenter |
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 26797-26799 | |
(subclass ExerciseCenter SportsFacility) | Mid-level-ontology.kif 26796-26796 | ExerciseCenter est une sous-classe de SportsFacility |
appearance as argument number 2 |
(termFormat EnglishLanguage ExerciseCenter "exercise center") | Mid-level-ontology.kif 26800-26800 |
antecedent |
(=> (instance ?X ExerciseCenter) (hasPurpose ?X (exists (?DEVICE) (and (or (instance ?DEVICE AerobicExerciseDevice) (instance ?DEVICE AnaerobicExerciseDevice)) (located ?DEVICE ?X))))) |
Mid-level-ontology.kif 26802-26810 |
|