No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11225-11225 |
不相交的 地質過程 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 11227-11229 |
|
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 11224-11224 |
子類 地質過程 and InternalChange |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11223-11223 |
子類 地質過程 and Motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11222-11222 |
子類 地質過程 and 自然過程 |