No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21328-21329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6613-6613 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7074-7074 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7075-7075 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7076-7076 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21327-21327 |
History est une sous-classe de champ d'�tude |