TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 273-286
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 272-272	SpecialOperation est une sous-classe de MilitaryOperation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 324-324	DirectAction est une sous-classe de SpecialOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 18-18	SpecialReconnaissance est une sous-classe de SpecialOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 131-131	UnconventionalWarfare est une sous-classe de SpecialOperation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54540-54540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54539-54539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54538-54538

antecedent

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

MilitaryProcesses.kif 290-297

consequent

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

MilitaryPersons.kif 796-802