No TPTP formula. May not be expressible in strict first order. |
Military.kif 148-149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 570-570 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 571-571 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 561-561 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 565-565 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 569-569 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1184-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 568-568 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 573-573 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 572-572 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 563-563 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 562-562 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 567-567 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1608-1608 |
MilitaryTank e' uma sub-classe de ArmoredVehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 147-147 |
MilitaryTank e' uma sub-classe de ArtilleryGun |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 145-145 |
MilitaryTank e' uma sub-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 146-146 |
MilitaryTank e' uma sub-classe de RoadVehicle |