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	营是军事单位的 subclass

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 是营的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 539-539	LAR营是营的 subclass
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