riskLevel |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1847-1848 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1844-1844 | Le nombre 1 argument de riskLevel est une instance de Investment |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1845-1845 | Le nombre 2 argument de riskLevel est une instance de RiskAttribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1846-1846 | riskLevel 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 4434-4434 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4433-4433 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4432-4432 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50086-50086 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50085-50085 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50084-50084 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3490-3495 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1063-1065 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1071-1073 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2440-2442 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2418-2420 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2204-2206 |
|