No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21833-21833 |
CarBombing est une sous-classe de Bombing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21859-21859 |
HandgrenadeAttack est une sous-classe de Bombing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22033-22033 |
LetterBombAttack est une sous-classe de Bombing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22050-22050 |
MortarAttack est une sous-classe de Bombing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22069-22069 |
RocketMissileAttack est une sous-classe de Bombing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22090-22090 |
SuicideBombing est une sous-classe de Bombing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11579-11579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11578-11578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11577-11577 |
|