TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1997-2028
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1996-1996	CounterTerrorism e' uma sub-classe de CounterOperation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2060-2060	CTHostageMaterielRecovery e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2044-2044	CTIntelligenceOperation e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2069-2069	CTNonKineticActivity e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2052-2052	CTNwInfraAttack e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17568-17568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17567-17567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17566-17566
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2818-2818

antecedent

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

MilitaryProcesses.kif 2032-2042

consequent

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

MilitaryProcesses.kif 2082-2090