No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21114-21115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7288-7288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7289-7289 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7290-7290 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7291-7291 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7285-7285 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7292-7292 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7293-7293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7294-7294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7286-7286 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7287-7287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7295-7295 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7296-7296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7297-7297 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21113-21113 |
Mathematics est une sous-classe de champ d'�tude |