No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3421-3422 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14609-14610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 53-53 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 50-50 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 938-938 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 52-52 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 58-58 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 51-51 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 57-57 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 59-59 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 60-60 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 54-54 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14608-14608 |
Mammif�re aquatique est une sous-classe de mammif�re |