| appearance as argument number 1 |
|
|
| s__documentation(s__Quantity,s__ChineseLanguage,'这是任何表示东西数量或多少的规格。故此 Quantity 共有两个 子类别：Number （数量)和 PhysicalQuantity (多少)。')
|
Merge.kif 1752-1753 | |
| s__documentation(s__Quantity,s__EnglishLanguage,'Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much).')
|
Merge.kif 1749-1751 | |
| s__partition__3(s__Quantity,s__FiniteQuantity,s__InfiniteQuantity)
|
Mid-level-ontology.kif 3357-3357 | Quantity is exhaustively partitioned into finite quantity and infinite quantity |
| s__instance(s__Abstract,s__SetOrClass) s__instance(s__Quantity,s__SetOrClass) s__subclass(s__Quantity,s__Abstract)
|
Merge.kif 1748-1748 | Quantity is a subclass of abstract |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__AdditionFn__m,1,s__Quantity)
|
Merge.kif 4858-4858 | The number 1 argument of addition is an instance of quantity |
| s__domain(s__AdditionFn__m,2,s__Quantity)
|
Merge.kif 4859-4859 | The number 2 argument of addition is an instance of quantity |
| s__domain(s__DivisionFn__m,1,s__Quantity)
|
Merge.kif 4894-4894 | The number 1 argument of division is an instance of quantity |
| s__domain(s__DivisionFn__m,2,s__Quantity)
|
Merge.kif 4895-4895 | The number 2 argument of division is an instance of quantity |
| s__domain(s__LiftFn__m,1,s__Quantity)
|
UXExperimentalTerms.kif 4742-4742 | The number 1 argument of lift is an instance of quantity |
| s__domain(s__LiftFn__m,2,s__Quantity)
|
UXExperimentalTerms.kif 4744-4744 | The number 2 argument of lift is an instance of quantity |
| s__domain(s__MaxFn__m,1,s__Quantity)
|
Merge.kif 5134-5134 | The number 1 argument of max is an instance of quantity |
| s__domain(s__MaxFn__m,2,s__Quantity)
|
Merge.kif 5135-5135 | The number 2 argument of max is an instance of quantity |
| s__domain(s__MinFn__m,1,s__Quantity)
|
Merge.kif 5161-5161 | The number 1 argument of min is an instance of quantity |
| s__domain(s__MinFn__m,2,s__Quantity)
|
Merge.kif 5162-5162 | The number 2 argument of min is an instance of quantity |
| s__domain(s__MultiplicationFn__m,1,s__Quantity)
|
Merge.kif 4844-4844 | The number 1 argument of multiplication is an instance of quantity |
| s__domain(s__MultiplicationFn__m,2,s__Quantity)
|
Merge.kif 4845-4845 | The number 2 argument of multiplication is an instance of quantity |
| s__domain(s__PerCapitaFn__m,1,s__Quantity)
|
Mid-level-ontology.kif 7794-7794 | The number 1 argument of PerCapitaFn is an instance of quantity |
| s__domain(s__RoundFn__m,1,s__Quantity)
|
Merge.kif 5289-5289 | The number 1 argument of round is an instance of quantity |
| s__domain(s__SubtractionFn__m,1,s__Quantity)
|
Merge.kif 4874-4874 | The number 1 argument of subtraction is an instance of quantity |
| s__domain(s__SubtractionFn__m,2,s__Quantity)
|
Merge.kif 4875-4875 | The number 2 argument of subtraction is an instance of quantity |
| s__domain(s__arcWeight__m,2,s__Quantity)
|
Merge.kif 6083-6083 | The number 2 argument of arc weight is an instance of quantity |
| s__domain(s__benchmarkPerformance__m,3,s__Quantity)
|
QoSontology.kif 1035-1035 | The number 3 argument of benchmark performance is an instance of quantity |
| s__domain(s__defaultMaxValue__m,3,s__Quantity)
|
Merge.kif 18833-18833 | The number 3 argument of defaultMaxValue is an instance of quantity |
| s__domain(s__defaultMaximumMeasure__m,2,s__Quantity)
|
Mid-level-ontology.kif 11128-11128 | The number 2 argument of default maximum measure is an instance of quantity |
| s__domain(s__defaultMeasure__m,2,s__Quantity)
|
Mid-level-ontology.kif 11156-11156 | The number 2 argument of default measure is an instance of quantity |
| s__domain(s__defaultMinValue__m,3,s__Quantity)
|
Merge.kif 18818-18818 | The number 3 argument of defaultMinValue is an instance of quantity |
| s__domain(s__defaultMinimumMeasure__m,2,s__Quantity)
|
Mid-level-ontology.kif 11099-11099 | The number 2 argument of default minimum measure is an instance of quantity |
| s__domain(s__defaultValue__m,3,s__Quantity)
|
Merge.kif 18848-18848 | The number 3 argument of defaultValue is an instance of quantity |
| s__domain(s__equipmentCount__m,3,s__Quantity)
|
Mid-level-ontology.kif 22014-22014 | 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 |
| antecedent |
|
|
| ( ! [V__QUANTITY1,V__QUANTITY2] : ((s__instance(V__QUANTITY1,s__Quantity)s__and__ms__instance(V__QUANTITY2,s__Quantity)) s__=>(s__LiftFn(V__QUANTITY1,V__QUANTITY2) s__equal__ms__DivisionFn(s__SubtractionFn(V__QUANTITY1,V__QUANTITY2) ,V__QUANTITY2))) )
|
UXExperimentalTerms.kif 4754-4762 |
|
| consequent |
|
|
|
|
|