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	Le nombre 1 argument de fitForMilitaryService est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Military.kif 911-911	Le nombre 2 argument de fitForMilitaryService est une sous-classe de processus militaire
No TPTP formula. May not be expressible in strict first order.	Military.kif 909-909	fitForMilitaryService est une instance de pr�dicat binaire

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