No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7590-7591 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7593-7593 |
O argumento numero 2 de amount e' uma instancia de Objeto Corpuscular |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7594-7594 |
O argumento numero 3 de amount e' uma instancia de Medida de Massa |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7592-7592 |
O argumento numero 1 de amount e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7589-7589 |
amount e' uma instancia de Predicado Ternario |