No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 268-268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 274-274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 264-264 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 262-262 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 296-296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 299-299 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 263-263 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 265-265 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 287-287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 273-273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 290-290 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 277-277 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 281-281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 284-284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 283-283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 301-301 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 269-269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 282-282 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17816-17816 |
子類 飛機 and 車輛 |