Quantity(quantity)

-------------------------


(domain greaterThan 1 Quantity) Merge.kif 1756-1756 The number 1 argument of greater than is an instance of quantity
(domain greaterThan 2 Quantity) Merge.kif 1757-1757 The number 2 argument of greater than is an instance of quantity
(domain greaterThanOrEqualTo 1 Quantity) Merge.kif 1785-1785 The number 1 argument of greater than or equal to is an instance of quantity
(domain greaterThanOrEqualTo 2 Quantity) Merge.kif 1786-1786 The number 2 argument of greater than or equal to is an instance of quantity
(domain lessThan 1 Quantity) Merge.kif 1744-1744 The number 1 argument of less than is an instance of quantity
(domain lessThan 2 Quantity) Merge.kif 1745-1745 The number 2 argument of less than is an instance of quantity
(domain lessThanOrEqualTo 1 Quantity) Merge.kif 1768-1768 The number 1 argument of less than or equal to is an instance of quantity
(domain lessThanOrEqualTo 2 Quantity) Merge.kif 1769-1769 The number 2 argument of less than or equal to is an instance of quantity
(domain maxValue 3 Quantity) Merge.kif 17034-17034 The number 3 argument of maxValue is an instance of quantity
(domain minValue 3 Quantity) Merge.kif 17019-17019 The number 3 argument of minValue is an instance of quantity
(domain total 2 Quantity) UXExperimentalTerms.kif 4731-4731 The number 2 argument of total is an instance of quantity


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners