No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11191-11191 |
Geological process is disjoint from intentional process |
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 11193-11195 |
|
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 11190-11190 |
Geological process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11189-11189 |
Geological process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11188-11188 |
Geological process is a subclass of natural process |