No TPTP formula. May not be expressible in strict first order. | Merge.kif 6447-6447 | 子類 UnitOfMeasureMultiplier and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6448-6448 | 子類 UnitOfMeasureMultiplier and TotalValuedRelation |