netAmount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3462-3463 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3460-3460 | Le nombre 1 argument de netAmount est une instance de Investment |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3461-3461 | Le nombre 2 argument de netAmount est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3459-3459 | netAmount est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1803-1803 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1802-1802 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1801-1801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40193-40193 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40192-40192 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40191-40191 |