No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2060-2060 |
CT人质物资恢复 是 反恐 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2044-2044 |
CT智能手术 是 反恐 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2069-2069 |
CT非动力活动 是 反恐 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2052-2052 |
CT没有红外线攻击 是 反恐 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17568-17568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17567-17567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17566-17566 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2818-2818 |
|