RecreationOrExerciseDevice(娱乐或运动器材) |
appearance as argument number 1 |
(documentation RecreationOrExerciseDevice EnglishLanguage "A Device whose purpose is RecreationOrExercise.") | Mid-level-ontology.kif 2375-2375 | |
(subclass RecreationOrExerciseDevice Device) | Mid-level-ontology.kif 2374-2374 | 娱乐或运动器材 是 设备 的 subclass |
appearance as argument number 2 |
(subclass AerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8228-8228 | 有氧运动装置 是 娱乐或运动器材 的 subclass |
(subclass AnaerobicExerciseDevice RecreationOrExerciseDevice) | Mid-level-ontology.kif 8232-8232 | 无氧运动装置 是 娱乐或运动器材 的 subclass |
(termFormat ChineseLanguage RecreationOrExerciseDevice "娱乐或运动器材") | domainEnglishFormat.kif 49016-49016 | |
(termFormat ChineseTraditionalLanguage RecreationOrExerciseDevice "娛樂或運動器材") | domainEnglishFormat.kif 49015-49015 | |
(termFormat EnglishLanguage RecreationOrExerciseDevice "recreation or exercise device") | domainEnglishFormat.kif 49014-49014 |
antecedent |
(=> (instance ?D RecreationOrExerciseDevice) (hasPurpose ?D (exists (?E) (and (instance ?E RecreationOrExercise) (instrument ?E ?D))))) |
Mid-level-ontology.kif 2377-2383 |