No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1228-1228 |
Control design method is a subclass of method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1190-1190 |
Electrical engineering method is a subclass of method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1165-1165 |
Mathematical method is a subclass of method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1185-1185 |
Technique is a subclass of method |
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 |
|