TreeView Knowledge Base Browser - AvailableForMilitaryServiceMaleFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 862-864
No TPTP formula. May not be expressible in strict first order.	Military.kif 860-860	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 859-859	Available for military service male is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Military.kif 861-861	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 9347-9347
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9346-9346
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9345-9345

statement

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

Military.kif 867-876

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