| (subclass Model Proposition) | engineering.kif 68-68 | Model is a subclass of proposition |
| (subclass MathematicalModel Model) | engineering.kif 241-241 | Mathematical model is a subclass of model |
| (subclass Multipole Model) | engineering.kif 314-314 | Multipole is a subclass of model |
| (subclass MultipoleModel Model) | engineering.kif 340-340 | Multipole model is a subclass of model |
| (subclass MultipolePole Model) | engineering.kif 388-388 | Multipole pole is a subclass of model |
| (subclass MultipoleSection Model) | engineering.kif 432-432 | Multipole section is a subclass of model |
|
|