No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1228-1228 |
控制设计方法 是 方法 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1190-1190 |
电气工程方法 是 方法 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1165-1165 |
数学方法 是 方法 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1185-1185 |
技术 是 方法 的 subclass |
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 |
|