No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5759-5759 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3179-3179 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3178-3178 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 700-700 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 701-701 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3175-3175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2984-2984 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3177-3177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3176-3176 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 703-703 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 699-699 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5757-5757 |
RiverBank est une sous-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5756-5756 |
RiverBank est une sous-classe de ShoreArea |