No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1026-1026 |
主席出版物 和 % 2 是 disjoint |
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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31675-31675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31674-31674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31673-31673 |
|