TreeView Knowledge Base Browser - fitForMilitaryService

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 903-905
No TPTP formula. May not be expressible in strict first order.	Military.kif 901-901	适合兵役的 1 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 902-902	适合兵役的 2 数量是军事过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 900-900	适合兵役是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1029-1029
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1028-1028
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1027-1027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24074-24074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24073-24073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24072-24072

antecedent

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

Military.kif 908-910

statement

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

Military.kif 886-897

地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量