more pictures...
| AnaerobicExerciseDevice(無氧運動裝置)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8233-8233 | 不相交的 無氧運動裝置 and 有氧運動裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8234-8235 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10406-10406 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10407-10407 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10405-10405 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10408-10408 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9885-9885 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8232-8232 | 子類 無氧運動裝置 and 娛樂或運動器材 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2391-2391 | 不相交的 Toy and 無氧運動裝置 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7362-7362 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7361-7361 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7360-7360 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 796-805 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26769-26777 |
|
|
|