No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3437-3437 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14686-14687 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 254-254 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 253-253 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 246-246 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 245-245 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 247-247 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 244-244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 251-251 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 242-242 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 256-256 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 241-241 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 240-240 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 243-243 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 255-255 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14685-14685 |
原始人类 是 灵长类动物 的 subclass |