No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21257-21257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6800-6800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7665-7665 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7666-7666 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7667-7667 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21256-21256 |
Psychology e' uma sub-classe de SocialScience |