No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1892-1903 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11526-11526 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11530-11530 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11525-11525 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11529-11529 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11527-11527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11528-11528 |
|
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. |
MilitaryProcesses.kif 1891-1891 |
侵略性信息操作 是 调查 的 subclass |