No TPTP formula. May not be expressible in strict first order. |
engineering.kif 258-258 |
例 電動 and 物理域 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 270-270 |
例 流體動力 and 物理域 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 266-266 |
例 旋轉 and 物理域 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 262-262 |
例 平移 and 物理域 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45734-45734 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45733-45733 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45732-45732 |
|