No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 869-869 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 866-866 |
O argumento numero 1 de netWorth e' uma instancia de Agente Cognitivo |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 867-867 |
O argumento numero 2 de netWorth e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 868-868 |
O argumento numero 3 de netWorth e' uma instancia de Dia |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 865-865 |
netWorth e' uma instancia de Relacao com Valor Unico |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 864-864 |
netWorth e' uma instancia de Predicado Ternario |