| No TPTP formula. May not be expressible in strict first order. | engineering.kif 69-69 | Model is a subclass of proposition |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 242-242 | Mathematical model is a subclass of model |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 315-315 | Multipole is a subclass of model |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 341-341 | Multipole model is a subclass of model |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 389-389 | Multipole pole is a subclass of model |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 433-433 | Multipole section is a subclass of model |
|
|