No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | 子類 TotalValuedRelation and Relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | 子類 TotalValuedRelation and 可繼承的關係 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | 子類 PartialOrderingRelation and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6448-6448 | 子類 UnitOfMeasureMultiplier and TotalValuedRelation |