No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 72-72 |
武装侦察 是 特别侦察 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 57-57 |
环境侦察 是 特别侦察 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 114-114 |
追击侦察 是 特别侦察 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 105-105 |
目标威胁侦察 是 特别侦察 的 subclass |
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 |
|