No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2528-2529 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6856-6858 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1229-1230 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6854-6854 |
Hertz e' uma instancia de Sistema International de Unidades |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6853-6853 |
Hertz e' uma instancia de UnitOfFrequency |