No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20172-20173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 504-504 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 114-114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 123-123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 120-120 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 109-109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 117-117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 106-106 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 119-119 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 121-121 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 122-122 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 118-118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 108-108 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 112-112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 114-114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 111-111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 124-124 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 115-115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 107-107 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 116-116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 113-113 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20171-20171 |
Horse est une sous-classe de ongul� |