No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11213-11213 |
不相交的 地質過程 and IntentionalProcess |
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 |
子類 地質過程 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11211-11211 |
子類 地質過程 and Motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11210-11210 |
子類 地質過程 and 自然過程 |