TreeView Knowledge Base Browser - AvailableForMilitaryServiceMaleFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 935-937
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-933	The number 1 argument of available for military service male is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Military.kif 932-932	Available for military service male is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Military.kif 934-934	The range of available for military service male is an instance of integer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 224-224
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 223-223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 222-222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9331-9331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9330-9330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9329-9329

statement

No TPTP formula. May not be expressible in strict first order.

Military.kif 940-949

The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string