No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2504-2507 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6749-6755 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1202-1205 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6747-6747 |
Mole e' uma instancia de Sistema International de Unidades |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6746-6746 |
Mole e' uma instancia de UnitOfMass |