No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1084-1084 |
顶点 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1085-1088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5898-5898 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1082-1082 |
顶点 是 在线以上 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1083-1083 |
顶点 是 联合作战准则 的 subclass |