TreeView Knowledge Base Browser - TargetThreatReconnaissance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 106-112
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11946-11946
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11947-11947
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11945-11945
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 105-105	Target threat reconnaissance is a subclass of special reconnaissance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56971-56971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56970-56970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56969-56969