Bomber
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 175-176 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 280-280 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1671-1671 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 174-174 | 轰炸机 是 军用飞机 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11573-11573 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11572-11572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11571-11571 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Military.kif 177-185 |