TreeView Knowledge Base Browser - fitForMilitaryService

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 912-914
No TPTP formula. May not be expressible in strict first order.	Military.kif 910-910	域適合兵役, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Military.kif 911-911	域子類適合兵役, 2 and MilitaryProcess
No TPTP formula. May not be expressible in strict first order.	Military.kif 909-909	例適合兵役 and BinaryPredicate

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 917-919

statement

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

Military.kif 895-906