No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30345-30348 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30341-30341 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30337-30338 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30334-30334 |
|
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 30343-30343 |
EndangeredSpecies e' uma instancia de ConservationStatus |