(subclass Model Proposition) | engineering.kif 69-69 | Model は 命題 の subclass では %n |
(subclass MathematicalModel Model) | engineering.kif 242-242 | MathematicalModel は Model の subclass では %n |
(subclass Multipole Model) | engineering.kif 315-315 | Multipole は Model の subclass では %n |
(subclass MultipoleModel Model) | engineering.kif 341-341 | MultipoleModel は Model の subclass では %n |
(subclass MultipolePole Model) | engineering.kif 389-389 | MultipolePole は Model の subclass では %n |
(subclass MultipoleSection Model) | engineering.kif 433-433 | MultipoleSection は Model の subclass では %n |