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 | The number 1 argument of risk level is an instance of investment |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1845-1845 | The number 2 argument of risk level is an instance of risk attribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1846-1846 | risk level is an instance of binary predicate |
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 50084-50084 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50083-50083 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50082-50082 |
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 |
|