No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14060-14064 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14066-14070 |
|
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 20724-20732 |
|
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 20891-20895 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1342-1344 |
|