No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3160-3160 |
The number 1 argument of average function is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3114-3114 |
The number 1 argument of first is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3099-3099 |
The number 1 argument of last is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2966-2966 |
The number 1 argument of list concatenate is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2967-2967 |
The number 2 argument of list concatenate is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2908-2908 |
The number 1 argument of list length is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2871-2871 |
The number 1 argument of list order is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3129-3129 |
The number 1 argument of the &%sum of elements in %1 is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1290-1290 |
The number 1 argument of maximum value function is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1109-1109 |
The number 1 argument of standard deviation is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3056-3056 |
The number 3 argument of sub-list function is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1056-1056 |
The number 2 argument of variance average function is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1077-1077 |
The number 1 argument of variance function is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5083-5083 |
The number 1 argument of average is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1301-1301 |
The number 2 argument of command line arguments is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3203-3203 |
The number 1 argument of identical list items is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3204-3204 |
The number 2 argument of identical list items is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3000-3000 |
The number 2 argument of in list is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3013-3013 |
The number 1 argument of sub list is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3014-3014 |
The number 2 argument of sub list is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 950-950 |
The number 2 argument of list of viewed items is an instance of list |