s__domain(s__AverageFn__m,n__1,s__List)

Merge.kif 31623162 
The number 1 argument of average function is an instance of list 
s__domain(s__FirstFn__m,n__1,s__List)

Merge.kif 31163116 
The number 1 argument of first is an instance of list 
s__domain(s__LastFn__m,n__1,s__List)

Merge.kif 31013101 
The number 1 argument of last is an instance of list 
s__domain(s__ListConcatenateFn__m,n__1,s__List)

Merge.kif 29682968 
The number 1 argument of list concatenate is an instance of list 
s__domain(s__ListConcatenateFn__m,n__2,s__List)

Merge.kif 29692969 
The number 2 argument of list concatenate is an instance of list 
s__domain(s__ListLengthFn__m,n__1,s__List)

Merge.kif 29102910 
The number 1 argument of list length is an instance of list 
s__domain(s__ListOrderFn__m,n__1,s__List)

Merge.kif 28732873 
The number 1 argument of list order is an instance of list 
s__domain(s__ListSumFn__m,n__1,s__List)

Merge.kif 31313131 
The number 1 argument of the &%sum of elements in %1 is an instance of list 
s__domain(s__MaxValueFn__m,n__1,s__List)

Weather.kif 16801680 
The number 1 argument of maximum value is an instance of list 
s__domain(s__StandardDeviationFn__m,n__1,s__List)

Weather.kif 15021502 
The number 1 argument of standard deviation is an instance of list 
s__domain(s__SubListFn__m,n__3,s__List)

Merge.kif 30583058 
The number 3 argument of sublist function is an instance of list 
s__domain(s__VarianceAverageFn__m,n__2,s__List)

Weather.kif 14461446 
The number 2 argument of variance average function is an instance of list 
s__domain(s__VarianceFn__m,n__1,s__List)

Weather.kif 14691469 
The number 1 argument of variance function is an instance of list 
s__domain(s__average__m,n__1,s__List)

Merge.kif 51275127 
The number 1 argument of average is an instance of list 
s__domain(s__commandLineArguments__m,n__2,s__List)

QoSontology.kif 13011301 
The number 2 argument of command line arguments is an instance of list 
s__domain(s__identicalListItems__m,n__1,s__List)

Merge.kif 32113211 
The number 1 argument of identical list items is an instance of list 
s__domain(s__identicalListItems__m,n__2,s__List)

Merge.kif 32123212 
The number 2 argument of identical list items is an instance of list 
s__domain(s__inList__m,n__2,s__List)

Merge.kif 30023002 
The number 2 argument of in list is an instance of list 
s__domain(s__subList__m,n__1,s__List)

Merge.kif 30153015 
The number 1 argument of sub list is an instance of list 
s__domain(s__subList__m,n__2,s__List)

Merge.kif 30163016 
The number 2 argument of sub list is an instance of list 
s__domain(s__viewedItemList__m,n__2,s__List)

UXExperimentalTerms.kif 952952 
The number 2 argument of list of viewed items is an instance of list 