No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20686-20688 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6010-6010 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6506-6506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6507-6507 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20684-20684 |
FilmDirector e' uma instancia de FilmMakingProfession |