No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1856-1856 |
HighRisk est l'oppos� de LowRisk |
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 |
HighRisk est une instance de RiskAttribute |