No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18046-18047 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10292-10292 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18045-18045 |
Tilling e' uma sub-classe de Digging |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18048-18048 |
Tilling e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18049-18049 |
Tilling e' uma sub-classe de Mudanca Superficial |