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 数量 是 投资 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1845-1845 | 风险等级 的 2 数量 是 风险属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1846-1846 | 风险等级 是 二元谓语 的 instance |
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 |