(domain LiftFn 1 Quantity) |
UXExperimentalTerms.kif 4751-4751 |
The number 1 argument of lift is an instance of quantity |
(domain LiftFn 2 Quantity) |
UXExperimentalTerms.kif 4753-4753 |
The number 2 argument of lift is an instance of quantity |
(domain PerCapitaFn 1 Quantity) |
Mid-level-ontology.kif 7777-7777 |
The number 1 argument of PerCapitaFn is an instance of quantity |
(domain arcWeight 2 Quantity) |
Merge.kif 5655-5655 |
The number 2 argument of arc weight is an instance of quantity |
(domain benchmarkPerformance 3 Quantity) |
QoSontology.kif 1045-1045 |
The number 3 argument of benchmark performance is an instance of quantity |
(domain defaultMaxValue 3 Quantity) |
Merge.kif 17107-17107 |
The number 3 argument of defaultMaxValue is an instance of quantity |
(domain defaultMaximumMeasure 2 Quantity) |
Mid-level-ontology.kif 11161-11161 |
The number 2 argument of default maximum measure is an instance of quantity |
(domain defaultMeasure 2 Quantity) |
Mid-level-ontology.kif 11189-11189 |
The number 2 argument of default measure is an instance of quantity |
(domain defaultMinValue 3 Quantity) |
Merge.kif 17090-17090 |
The number 3 argument of defaultMinValue is an instance of quantity |
(domain defaultMinimumMeasure 2 Quantity) |
Mid-level-ontology.kif 11132-11132 |
The number 2 argument of default minimum measure is an instance of quantity |
(domain defaultValue 3 Quantity) |
Merge.kif 17123-17123 |
The number 3 argument of defaultValue is an instance of quantity |
(domain equipmentCount 3 Quantity) |
Mid-level-ontology.kif 22058-22058 |
The number 3 argument of equipment count is an instance of quantity |
(domain greaterThan 1 Quantity) |
Merge.kif 1761-1761 |
The number 1 argument of greater than is an instance of quantity |
(domain greaterThan 2 Quantity) |
Merge.kif 1762-1762 |
The number 2 argument of greater than is an instance of quantity |
(domain greaterThanOrEqualTo 1 Quantity) |
Merge.kif 1790-1790 |
The number 1 argument of greater than or equal to is an instance of quantity |
(domain greaterThanOrEqualTo 2 Quantity) |
Merge.kif 1791-1791 |
The number 2 argument of greater than or equal to is an instance of quantity |
(domain lessThan 1 Quantity) |
Merge.kif 1749-1749 |
The number 1 argument of less than is an instance of quantity |
(domain lessThan 2 Quantity) |
Merge.kif 1750-1750 |
The number 2 argument of less than is an instance of quantity |
(domain lessThanOrEqualTo 1 Quantity) |
Merge.kif 1773-1773 |
The number 1 argument of less than or equal to is an instance of quantity |
(domain lessThanOrEqualTo 2 Quantity) |
Merge.kif 1774-1774 |
The number 2 argument of less than or equal to is an instance of quantity |
(domain maxValue 3 Quantity) |
Merge.kif 17073-17073 |
The number 3 argument of maxValue is an instance of quantity |
(domain minValue 3 Quantity) |
Merge.kif 17056-17056 |
The number 3 argument of minValue is an instance of quantity |
(domain total 2 Quantity) |
UXExperimentalTerms.kif 4733-4733 |
The number 2 argument of total is an instance of quantity |