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 |
|