No TPTP formula. May not be expressible in strict first order. | Merge.kif 6313-6313 | Angle measure is a subclass of constant quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6324-6324 | Plane angle measure is a subclass of angle measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6328-6328 | Solid angle measure is a subclass of angle measure |