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