Nation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 349-357 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4621-4629 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1075-1082 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2264-2269 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24729-24736 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4614-4619 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 935-940 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 117-119 |
|