No TPTP formula. May not be expressible in strict first order. |
Government.kif 1132-1152 |
|
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 1176-1189 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1211-1231 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1267-1273 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1250-1256 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1258-1265 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1120-1130 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1191-1209 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1106-1118 |
|