No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14082-14086 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14088-14092 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1346-1350 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1513-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1487-1494 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1478-1485 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1503-1505 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20723-20731 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4859-4863 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1290-1292 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20890-20894 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1342-1344 |
|