RiskAttribute(risk attribute) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1852-1853 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1851-1851 | High risk are all the attributes of risk attribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1850-1850 | Risk attribute is a subclass of relational attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1855-1855 | High risk is an instance of risk attribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1860-1860 | Low risk is an instance of risk attribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50078-50078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50077-50077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50076-50076 |
appearance as argument number 3 |
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 3488-3488 | The number 2 argument of risk tolerance is an instance of risk attribute |