No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1857-1857 |
防御性信息操作 是 信息操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1890-1890 |
侵略性信息操作 是 信息操作 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30037-30037 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30036-30036 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30035-30035 |
|