No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7574-7576 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7578-7578 |
O argumento numero 2 de AmountsFn e' uma instancia de Objeto Corpuscular |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7579-7579 |
O argumento numero 3 de AmountsFn e' uma instancia de UnitOfMass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7577-7577 |
O argumento numero 1 de AmountsFn e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7573-7573 |
AmountsFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7580-7580 |
O contra-dominio de AmountsFn e' uma instancia de Lista |