No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1856-1856 |
高风险 是 低风险 的相反 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1857-1858 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11153-11153 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11162-11162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11161-11161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11158-11158 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11157-11157 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11159-11159 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11155-11155 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11156-11156 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11160-11160 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1855-1855 |
高风险 是 风险属性 的 instance |