No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 568-592 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 564-564 |
反装甲排 是 武器公司 的 sub 梯队 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 566-566 |
重MG排 是 武器公司 的 sub 梯队 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 565-565 |
迫击炮排 是 武器公司 的 sub 梯队 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 563-563 |
武器公司 是 公司- 军事 的 subclass |