No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30369-30372 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30365-30365 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30361-30362 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30358-30358 |
|
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 30367-30367 |
Endangered species is an instance of conservation status |