No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1797-1797 |
动力车辆 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2594-2594 |
滑翔机 是 无动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1821-1821 |
预告片 是 无动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1847-1847 |
车皮 是 无动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60530-60530 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60529-60529 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60528-60528 |
|