(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 |