No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2976-2978 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10853-10856 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1736-1738 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6376-6376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6373-6373 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6374-6374 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6377-6377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6378-6378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5959-5959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6375-6375 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6379-6379 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10851-10851 |
设计 是 内容制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10850-10850 |
设计 是 有意图过程 的 subclass |