No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8227-8227 |
有氧运动装置 是 娱乐或运动器材 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8231-8231 |
无氧运动装置 是 娱乐或运动器材 的 subclass |
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 |
|