No TPTP formula. May not be expressible in strict first order. |
engineering.kif 258-258 |
电动 是 物理域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 270-270 |
流体动力 是 物理域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 266-266 |
旋转 是 物理域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 262-262 |
平移 是 物理域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45732-45732 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45731-45731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45730-45730 |
|