| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1017-1017 | 联合作战准则 是 联合出版物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1018-1018 | 联合作战准则 是 教义 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1083-1083 | 顶点 是 联合作战准则 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1091-1091 | 拱心石 是 联合作战准则 的 subclass |
|
|