MortarAttack(迫击炮袭击) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22052-22053 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10133-10133 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11453-11453 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11454-11454 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22051-22051 | 迫击炮袭击 是 轰炸 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38577-38577 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38576-38576 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38575-38575 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22063-22068 |