No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1576-1585 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 329-329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 339-339 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 337-337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 336-336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 335-335 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1032-1032 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 333-333 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 340-340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 331-331 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 338-338 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 332-332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 330-330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 334-334 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 328-328 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 341-341 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1575-1575 |
APC est une sous-classe de ArmoredVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1573-1573 |
APC est une sous-classe de LandVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1571-1571 |
APC est une sous-classe de MilitaryVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1572-1572 |
APC est une sous-classe de PassengerVehicle |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1574-1574 |
APC est une sous-classe de PoweredVehicle |