(subclass Model Proposition) | engineering.kif 69-69 | Model is a subclass of proposition |
(subclass MathematicalModel Model) | engineering.kif 242-242 | Mathematical model is a subclass of model |
(subclass Multipole Model) | engineering.kif 315-315 | Multipole is a subclass of model |
(subclass MultipoleModel Model) | engineering.kif 341-341 | Multipole model is a subclass of model |
(subclass MultipolePole Model) | engineering.kif 389-389 | Multipole pole is a subclass of model |
(subclass MultipoleSection Model) | engineering.kif 433-433 | Multipole section is a subclass of model |