No TPTP formula. May not be expressible in strict first order. | engineering.kif 1161-1161 | Method e' uma sub-classe de Procedimento |
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. | engineering.kif 1190-1190 | ElectricalEngineeringMethod e' uma sub-classe de Method |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1228-1228 | ControlDesignMethod e' uma sub-classe de Method |
![]() |