(domain AdditionFn 1 Quantity) 
Merge.kif 48454845 
The number 1 argument of addition is an instance of quantity 
(domain AdditionFn 2 Quantity) 
Merge.kif 48464846 
The number 2 argument of addition is an instance of quantity 
(domain DivisionFn 1 Quantity) 
Merge.kif 48814881 
The number 1 argument of division is an instance of quantity 
(domain DivisionFn 2 Quantity) 
Merge.kif 48824882 
The number 2 argument of division is an instance of quantity 
(domain LiftFn 1 Quantity) 
UXExperimentalTerms.kif 47424742 
The number 1 argument of lift is an instance of quantity 
(domain LiftFn 2 Quantity) 
UXExperimentalTerms.kif 47444744 
The number 2 argument of lift is an instance of quantity 
(domain MaxFn 1 Quantity) 
Merge.kif 51215121 
The number 1 argument of max is an instance of quantity 
(domain MaxFn 2 Quantity) 
Merge.kif 51225122 
The number 2 argument of max is an instance of quantity 
(domain MinFn 1 Quantity) 
Merge.kif 51485148 
The number 1 argument of min is an instance of quantity 
(domain MinFn 2 Quantity) 
Merge.kif 51495149 
The number 2 argument of min is an instance of quantity 
(domain MultiplicationFn 1 Quantity) 
Merge.kif 48314831 
The number 1 argument of multiplication is an instance of quantity 
(domain MultiplicationFn 2 Quantity) 
Merge.kif 48324832 
The number 2 argument of multiplication is an instance of quantity 
(domain PerCapitaFn 1 Quantity) 
Midlevelontology.kif 77947794 
The number 1 argument of PerCapitaFn is an instance of quantity 
(domain RoundFn 1 Quantity) 
Merge.kif 52765276 
The number 1 argument of round is an instance of quantity 
(domain SubtractionFn 1 Quantity) 
Merge.kif 48614861 
The number 1 argument of subtraction is an instance of quantity 
(domain SubtractionFn 2 Quantity) 
Merge.kif 48624862 
The number 2 argument of subtraction is an instance of quantity 
(domain arcWeight 2 Quantity) 
Merge.kif 60706070 
The number 2 argument of arc weight is an instance of quantity 
(domain benchmarkPerformance 3 Quantity) 
QoSontology.kif 10191019 
The number 3 argument of benchmark performance is an instance of quantity 
(domain defaultMaxValue 3 Quantity) 
Merge.kif 1877718777 
The number 3 argument of defaultMaxValue is an instance of quantity 
(domain defaultMaximumMeasure 2 Quantity) 
Midlevelontology.kif 1112811128 
The number 2 argument of default maximum measure is an instance of quantity 
(domain defaultMeasure 2 Quantity) 
Midlevelontology.kif 1115611156 
The number 2 argument of default measure is an instance of quantity 
(domain defaultMinValue 3 Quantity) 
Merge.kif 1876318763 
The number 3 argument of defaultMinValue is an instance of quantity 
(domain defaultMinimumMeasure 2 Quantity) 
Midlevelontology.kif 1109911099 
The number 2 argument of default minimum measure is an instance of quantity 
(domain defaultValue 3 Quantity) 
Merge.kif 1879118791 
The number 3 argument of defaultValue is an instance of quantity 
(domain equipmentCount 3 Quantity) 
Midlevelontology.kif 2198321983 
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 