No TPTP formula. May not be expressible in strict first order. |
Government.kif 1094-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2244-2252 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1138-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1173-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1229-1235 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1212-1218 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1220-1227 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1082-1092 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1153-1171 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1068-1080 |
|