No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11213-11213 |
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 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 |
Geological process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11211-11211 |
Geological process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11210-11210 |
Geological process is a subclass of natural process |