No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2563-2564 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7022-7025 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1266-1268 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7019-7019 |
Lumen e' uma instancia de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7020-7020 |
Lumen e' uma instancia de Sistema International de Unidades |