No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21850-21852 |
|
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 21849-21849 |
MilitaryManeuver est une sous-classe de manoeuvre |