No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21834-21834 |
子類 汽車爆炸 and 轟炸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21860-21860 |
子類 手榴彈襲擊 and 轟炸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22034-22034 |
子類 信件炸彈襲擊 and 轟炸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22051-22051 |
子類 迫擊砲襲擊 and 轟炸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22070-22070 |
子類 火箭導彈襲擊 and 轟炸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22091-22091 |
子類 自殺性爆炸事件 and 轟炸 |
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 |
|