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	子類特別行動 and 軍事行動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 324-324	子類直接行動 and 特別行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 18-18	子類特別偵察 and 特別行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 131-131	子類非常規戰爭 and 特別行動
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