(subclass MultipolePostulate Proposition) | engineering.kif 1266-1266 | MultipolePostulate est une sous-classe de proposition |
(subclass PostulateOfContinuity MultipolePostulate) | engineering.kif 1270-1270 | PostulateOfContinuity est une sous-classe de MultipolePostulate |