No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3834-3836 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3830-3830 |
Le nombre 1 argument de availableCash est une instance de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3831-3831 |
Le nombre 2 argument de availableCash est une instance de jour |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3832-3832 |
Le nombre 3 argument de availableCash est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3833-3833 |
availableCash est une instance de pr�dicat ternaire |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3829-3829 |
availableCash est une sous-relation de availableBalance |