No TPTP formula. May not be expressible in strict first order. |
Military.kif 737-737 |
排 是 公司- 军事 的 sub 梯队 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 594-594 |
反装甲排 是 排 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 658-658 |
突击两栖动物排 是 排 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 611-611 |
重MG排 是 排 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 545-545 |
LAR排 是 排 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 552-552 |
迫击炮排 是 排 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46250-46250 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46249-46249 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46248-46248 |
|