No TPTP formula. May not be expressible in strict first order. |
People.kif 272-293 |
average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6044-6050 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 427-431 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 467-474 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1445-1457 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 917-925 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 906-915 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2873-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 571-578 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 495-502 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 533-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4645-4658 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4669-4682 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1367-1385 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 59-65 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1075-1084 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1062-1073 |
|
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. |
Mid-level-ontology.kif 8985-8989 |
|
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 453-458 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |