No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8228-8228 |
子類 有氧運動裝置 and 娛樂或運動器材 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8232-8232 |
子類 無氧運動裝置 and 娛樂或運動器材 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49016-49016 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49015-49015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49014-49014 |
|