No TPTP formula. May not be expressible in strict first order. | engineering.kif 1266-1266 | Multipole postulate is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1270-1270 | Postulate of continuity is a subclass of multipole postulate |