No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19261-19262 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5965-5965 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6384-6384 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6386-6386 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6387-6387 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6388-6388 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6389-6389 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6390-6390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6391-6391 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6392-6392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6393-6393 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6394-6394 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6395-6395 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6396-6396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6397-6397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6398-6398 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19260-19260 |
Downstairs e' uma instancia de Atributo Posicional |