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 | 目标威胁侦察 是 特别侦察 的 subclass |
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 |