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 2998-3003 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3005-3010 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3252-3256 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 295-302 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3083-3102 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3179-3188 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3190-3202 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1486-1497 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1453-1465 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2093-2103 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2075-2090 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2137-2150 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3232-3237 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2388-2404 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2210-2223 |
|
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. |
Merge.kif 3212-3217 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2125-2134 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 519-531 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3113-3116 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2910-2915 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2198-2207 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2161-2170 |
|