No TPTP formula. May not be expressible in strict first order. |
People.kif 272-293 |
A real number is an average of a list if and only if there exist another list and a positive integer such that equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer and equal the positive integer and length of the other list and equal the real number and the positive integerth element of the other list and the positive integer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27362-27374 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6069-6075 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 597-601 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 637-644 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1574-1586 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1555-1567 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1536-1548 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1152-1160 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1141-1150 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3031-3042 |
|
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 4983-4996 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5007-5020 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1368-1386 |
|
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 1037-1046 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1024-1035 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1930-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1907-1923 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3089-3108 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10191-10195 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3000-3018 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |