No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2618-2621 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10567-10567 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10566-10566 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9920-9920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10568-10568 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10569-10569 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2617-2617 |
CallOption est un sous-attribut de Option |