No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1228-1228 |
子類 控制設計方法 and 方法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1190-1190 |
子類 電氣工程方法 and 方法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1165-1165 |
子類 數學方法 and 方法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1185-1185 |
子類 技術 and 方法 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37355-37355 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37354-37354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37353-37353 |
|