No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6015-6018 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 852-852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 629-629 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 628-628 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 627-627 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6013-6013 |
Cave est une sous-classe de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6012-6012 |
Cave est une sous-classe de trou |