No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1228-1228 |
ControlDesignMethod e' uma sub-classe de Method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1190-1190 |
ElectricalEngineeringMethod e' uma sub-classe de Method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1165-1165 |
MathematicalMethod e' uma sub-classe de Method |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1185-1185 |
Technique e' uma sub-classe de 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 |
|