No TPTP formula. May not be expressible in strict first order. |
Government.kif 1562-1564 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1566-1568 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1615-1617 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8426-8434 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 527-529 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 117-119 |
|