No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11213-11213 |
GeologicalProcess e' disjunto de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3015-3016 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11215-11217 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1779-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3098-3098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2957-2957 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3097-3097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3096-3096 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3101-3101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3100-3100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3099-3099 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11212-11212 |
GeologicalProcess e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11211-11211 |
GeologicalProcess e' uma sub-classe de Movimento |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11210-11210 |
GeologicalProcess e' uma sub-classe de NaturalProcess |