| (subclass Model Proposition) | engineering.kif 69-69 | |
| (subclass MathematicalModel Model) | engineering.kif 242-242 | |
| (subclass Multipole Model) | engineering.kif 315-315 | |
| (subclass MultipoleModel Model) | engineering.kif 341-341 | |
| (subclass MultipolePole Model) | engineering.kif 389-389 | |
| (subclass MultipoleSection Model) | engineering.kif 433-433 |
|
|