No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19689-19690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5917-5917 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6276-6276 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6277-6277 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19688-19688 |
CivilWar est une sous-classe de guerre |