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 14662-14663 |
|
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 14661-14661 |
Hominideo e' uma sub-classe de Primata |