No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1856-1856 |
相反的屬性 高風險 and 低風險 |
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 |
例 高風險 and 風險屬性 |