No TPTP formula. May not be expressible in strict first order. | engineering.kif 1161-1161 | Method is a subclass of procedure |
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. | 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 1228-1228 | Control design method is a subclass of method |