No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2472-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6615-6619 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1165-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6612-6612 |
域 UnitFn, 1 and PhysicalQuantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6611-6611 |
例 UnitFn and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6610-6610 |
例 UnitFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6613-6613 |
範圍 UnitFn and UnitOfMeasure |