GovernmentFn |
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 8427-8435 |
|
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 |