No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 72-72 |
子類 武裝偵察 and 特別偵察 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 57-57 |
子類 環境偵察 and 特別偵察 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 114-114 |
子類 追擊偵察 and 特別偵察 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 105-105 |
子類 目標威脅偵察 and 特別偵察 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54558-54558 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54557-54557 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54556-54556 |
|