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 | 域 風險等級, 1 and 投資 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1845-1845 | 域 風險等級, 2 and 風險屬性 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1846-1846 | 例 風險等級 and BinaryPredicate |
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 |