(subclass MultipolePostulate Proposition) | engineering.kif 1266-1266 | MultipolePostulate は 命題 の subclass では %n |
(subclass PostulateOfContinuity MultipolePostulate) | engineering.kif 1270-1270 | PostulateOfContinuity は MultipolePostulate の subclass では %n |