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 |
子類 武器公司 and 公司- 軍事 |