Battalion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 734-734	美國軍銜o5 是營的 command 梯隊等級
No TPTP formula. May not be expressible in strict first order.	Military.kif 717-731
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4541-4541
No TPTP formula. May not be expressible in strict first order.	Military.kif 733-733	公司- 軍事是營的 sub 梯隊
No TPTP formula. May not be expressible in strict first order.	Military.kif 732-732	子類營 and 軍事單位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 715-715	營是旅的 sub 梯隊
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 650-650	子類 AssaultAmphibianBatallion and 營
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 539-539	子類 LAR營 and 營
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10206-10206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10205-10205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10204-10204