No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30333-30336 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30329-30329 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30325-30326 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30322-30322 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5986-5986 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6472-6472 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6473-6473 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6474-6474 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6475-6475 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6476-6476 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6478-6478 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30331-30331 |
EndangeredSpecies est une instance de ConservationStatus |