Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Quantity
Quantity(数量)

appearance as argument number 1
-------------------------


(documentation Quantity ChineseLanguage "这是任何表示东西数量或多少的规格。故此 Quantity 共有两个 子类别:Number (数量)和 PhysicalQuantity (多少)。") chinese_format.kif 1708-1709
(documentation Quantity 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 1605-1607
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 3358-3358 数量 详尽无遗地 partition有限数量无限的数量
(subclass Quantity Abstract) Merge.kif 1603-1603 数量抽象体subclass

appearance as argument number 2
-------------------------


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List) Merge.kif 1579-1579 抽象体 分拆成不相交的 数量, 属性, 集或类, 关系, 命题, 和 串列
(range AdditionFn Quantity) Merge.kif 4531-4531 加法函数range数量 的实例
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3050-3050 ConversionRateFnrange数量 的实例
(range DivisionFn Quantity) Merge.kif 4561-4561 除法函数range数量 的实例
(range MaxFn Quantity) Merge.kif 4783-4783 较大值函数range数量 的实例
(range MinFn Quantity) Merge.kif 4809-4809 较小值函数range数量 的实例
(range MultiplicationFn Quantity) Merge.kif 4518-4518 乘法函数range数量 的实例
(range PathWeightFn Quantity) Merge.kif 5663-5663 路径衡量函数range数量 的实例
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7779-7779 PerCapitaFnrange数量 的实例
(range RoundFn Quantity) Merge.kif 4927-4927 四舍五入函数range数量 的实例
(range SubtractionFn Quantity) Merge.kif 4545-4545 减法函数range数量 的实例
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 3360-3360 有限数量数量subclass
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 3364-3364 无限的数量数量subclass
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 多极数量数量subclass
(subclass Number Quantity) Merge.kif 1737-1737 数字数量subclass
(subclass PhysicalDimension Quantity) engineering.kif 73-73 物理尺寸数量subclass
(subclass PhysicalQuantity Quantity) Merge.kif 1938-1938 物理量数量subclass
(termFormat ChineseLanguage Quantity "数量") chinese_format.kif 854-854
(termFormat EnglishLanguage Quantity "quantity") english_format.kif 915-915

appearance as argument number 3
-------------------------


(domain AdditionFn 1 Quantity) Merge.kif 4529-4529 加法函数 的 1 数量 是 数量instance
(domain AdditionFn 2 Quantity) Merge.kif 4530-4530 加法函数 的 2 数量 是 数量instance
(domain DivisionFn 1 Quantity) Merge.kif 4559-4559 除法函数 的 1 数量 是 数量instance
(domain DivisionFn 2 Quantity) Merge.kif 4560-4560 除法函数 的 2 数量 是 数量instance
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4751-4751 LiftFn 的 1 数量 是 数量instance
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4753-4753 LiftFn 的 2 数量 是 数量instance
(domain MaxFn 1 Quantity) Merge.kif 4781-4781 较大值函数 的 1 数量 是 数量instance
(domain MaxFn 2 Quantity) Merge.kif 4782-4782 较大值函数 的 2 数量 是 数量instance
(domain MinFn 1 Quantity) Merge.kif 4807-4807 较小值函数 的 1 数量 是 数量instance
(domain MinFn 2 Quantity) Merge.kif 4808-4808 较小值函数 的 2 数量 是 数量instance
(domain MultiplicationFn 1 Quantity) Merge.kif 4516-4516 乘法函数 的 1 数量 是 数量instance
(domain MultiplicationFn 2 Quantity) Merge.kif 4517-4517 乘法函数 的 2 数量 是 数量instance
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7777-7777 PerCapitaFn 的 1 数量 是 数量instance
(domain RoundFn 1 Quantity) Merge.kif 4926-4926 四舍五入函数 的 1 数量 是 数量instance
(domain SubtractionFn 1 Quantity) Merge.kif 4543-4543 减法函数 的 1 数量 是 数量instance
(domain SubtractionFn 2 Quantity) Merge.kif 4544-4544 减法函数 的 2 数量 是 数量instance
(domain arcWeight 2 Quantity) Merge.kif 5655-5655 弧衡量 的 2 数量 是 数量instance
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1045-1045 基准表现 的 3 数量 是 数量instance
(domain defaultMaxValue 3 Quantity) Merge.kif 17104-17104 defaultMaxValue 的 3 数量 是 数量instance
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 11161-11161 defaultMaximumMeasure 的 2 数量 是 数量instance
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 11189-11189 defaultMeasure 的 2 数量 是 数量instance
(domain defaultMinValue 3 Quantity) Merge.kif 17087-17087 defaultMinValue 的 3 数量 是 数量instance
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 11132-11132 defaultMinimumMeasure 的 2 数量 是 数量instance
(domain defaultValue 3 Quantity) Merge.kif 17120-17120 defaultValue 的 3 数量 是 数量instance
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 22058-22058 设备数量 的 3 数量 是 数量instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (instance ?QUANTITY1 Quantity)
        (instance ?QUANTITY2 Quantity))
    (equal
        (LiftFn ?QUANTITY1 ?QUANTITY2)
        (DivisionFn
            (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2)))
UXExperimentalTerms.kif 4763-4771

consequent
-------------------------


(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (refers ?X ?Q)
            (refers ?Q ?PC)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))
Mid-level-ontology.kif 28228-28257
(=>
    (and
        (total ?CLASS ?QUANTITY)
        (instance ?ITEM ?CLASS))
    (instance ?ITEM Quantity))
UXExperimentalTerms.kif 4740-4744


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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