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