No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21798-21800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11431-11431 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11429-11429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11436-11436 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11430-11430 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11428-11428 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11435-11435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11432-11432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11427-11427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11426-11426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11434-11434 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21797-21797 |
Military maneuver is a subclass of maneuver |