s__domain(s__AdditionFn__m,n__1,s__Quantity)

Merge.kif 44814481 
The number 1 argument of addition is an instance of quantity 
s__domain(s__AdditionFn__m,n__2,s__Quantity)

Merge.kif 44824482 
The number 2 argument of addition is an instance of quantity 
s__domain(s__DivisionFn__m,n__1,s__Quantity)

Merge.kif 45114511 
The number 1 argument of division is an instance of quantity 
s__domain(s__DivisionFn__m,n__2,s__Quantity)

Merge.kif 45124512 
The number 2 argument of division is an instance of quantity 
s__domain(s__LiftFn__m,n__1,s__Quantity)

UXExperimentalTerms.kif 47494749 
The number 1 argument of lift is an instance of quantity 
s__domain(s__LiftFn__m,n__2,s__Quantity)

UXExperimentalTerms.kif 47514751 
The number 2 argument of lift is an instance of quantity 
s__domain(s__MaxFn__m,n__1,s__Quantity)

Merge.kif 47334733 
The number 1 argument of max is an instance of quantity 
s__domain(s__MaxFn__m,n__2,s__Quantity)

Merge.kif 47344734 
The number 2 argument of max is an instance of quantity 
s__domain(s__MinFn__m,n__1,s__Quantity)

Merge.kif 47594759 
The number 1 argument of min is an instance of quantity 
s__domain(s__MinFn__m,n__2,s__Quantity)

Merge.kif 47604760 
The number 2 argument of min is an instance of quantity 
s__domain(s__MultiplicationFn__m,n__1,s__Quantity)

Merge.kif 44684468 
The number 1 argument of multiplication is an instance of quantity 
s__domain(s__MultiplicationFn__m,n__2,s__Quantity)

Merge.kif 44694469 
The number 2 argument of multiplication is an instance of quantity 
s__domain(s__PerCapitaFn__m,n__1,s__Quantity)

Midlevelontology.kif 77967796 
The number 1 argument of PerCapitaFn is an instance of quantity 
s__domain(s__RoundFn__m,n__1,s__Quantity)

Merge.kif 48784878 
The number 1 argument of round is an instance of quantity 
s__domain(s__SubtractionFn__m,n__1,s__Quantity)

Merge.kif 44954495 
The number 1 argument of subtraction is an instance of quantity 
s__domain(s__SubtractionFn__m,n__2,s__Quantity)

Merge.kif 44964496 
The number 2 argument of subtraction is an instance of quantity 
s__domain(s__arcWeight__m,n__2,s__Quantity)

Merge.kif 56105610 
The number 2 argument of arc weight is an instance of quantity 
s__domain(s__benchmarkPerformance__m,n__3,s__Quantity)

QoSontology.kif 10451045 
The number 3 argument of benchmark performance is an instance of quantity 
s__domain(s__defaultMaxValue__m,n__3,s__Quantity)

Merge.kif 1703717037 
The number 3 argument of defaultMaxValue is an instance of quantity 
s__domain(s__defaultMaximumMeasure__m,n__2,s__Quantity)

Midlevelontology.kif 1113411134 
The number 2 argument of default maximum measure is an instance of quantity 
s__domain(s__defaultMeasure__m,n__2,s__Quantity)

Midlevelontology.kif 1116211162 
The number 2 argument of default measure is an instance of quantity 
s__domain(s__defaultMinValue__m,n__3,s__Quantity)

Merge.kif 1702217022 
The number 3 argument of defaultMinValue is an instance of quantity 
s__domain(s__defaultMinimumMeasure__m,n__2,s__Quantity)

Midlevelontology.kif 1110511105 
The number 2 argument of default minimum measure is an instance of quantity 
s__domain(s__defaultValue__m,n__3,s__Quantity)

Merge.kif 1705217052 
The number 3 argument of defaultValue is an instance of quantity 
s__domain(s__equipmentCount__m,n__3,s__Quantity)

Midlevelontology.kif 2202722027 
The number 3 argument of equipment count is an instance of quantity 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 