No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17763-17764 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 357-357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2439-2439 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 352-352 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 349-349 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2540-2540 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 350-350 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 356-356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 355-355 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 354-354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 353-353 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 346-346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 348-348 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 345-345 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 351-351 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 358-358 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17762-17762 |
BallisticMissile est une sous-classe de Missile |