(subclass MultipolePostulate Proposition) | engineering.kif 1266-1266 | Multipole postulate is a subclass of proposition |
(subclass PostulateOfContinuity MultipolePostulate) | engineering.kif 1270-1270 | Postulate of continuity is a subclass of multipole postulate |