No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2532-2533 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6873-6875 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1233-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10185-10185 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6870-6870 |
Pascal e' uma instancia de CompositeUnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6871-6871 |
Pascal e' uma instancia de Sistema International de Unidades |