ElectronicReconnaissance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 845-847
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9996-9996
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10912-10912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10908-10908
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10913-10913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10910-10910
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10914-10914
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10909-10909
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10915-10915
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10911-10911
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 844-844	Electronic reconnaissance is a subclass of reconnaissance operation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21720-21720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21719-21719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21718-21718