No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21331-21332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6762-6762 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7527-7527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7528-7528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7529-7529 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7531-7531 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7532-7532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7533-7533 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7535-7535 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21330-21330 |
Philosophy est une sous-classe de champ d'�tude |