No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 940-949 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15400-15407 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2324-2329 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21089-21101 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2331-2338 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15431-15440 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 730-740 |
|