No TPTP formula. May not be expressible in strict first order. |
Government.kif 990-1001 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1882-1892 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1497-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4962-4968 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2993-3011 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3018-3036 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2851-2869 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 427-433 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1029-1033 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3838-3852 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3815-3827 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 587-592 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 349-366 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 456-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 481-488 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13895-13899 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22679-22683 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 852-860 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 840-850 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2174-2187 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2925-2940 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2074-2078 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2130-2143 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |