No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13976-13977 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11636-11636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11637-11637 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11640-11640 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11639-11639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11641-11641 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11638-11638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10195-10195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11635-11635 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13975-13975 |
Polling e' uma sub-classe de Investigacao |