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 1600-1602
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 3358-3358 数量 详尽无遗地 partition有限数量无限的数量
(subclass Quantity Abstract) Merge.kif 1598-1598 数量抽象体subclass

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1574-1574 抽象体 分拆成不相交的 数量, 属性, 集或类, 关系, 和 命题
(range AdditionFn Quantity) Merge.kif 4524-4524 加法函数range数量 的实例
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3048-3048 ConversionRateFnrange数量 的实例
(range DivisionFn Quantity) Merge.kif 4554-4554 除法函数range数量 的实例
(range MaxFn Quantity) Merge.kif 4776-4776 较大值函数range数量 的实例
(range MinFn Quantity) Merge.kif 4802-4802 较小值函数range数量 的实例
(range MultiplicationFn Quantity) Merge.kif 4511-4511 乘法函数range数量 的实例
(range PathWeightFn Quantity) Merge.kif 5653-5653 路径衡量函数range数量 的实例
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7777-7777 PerCapitaFnrange数量 的实例
(range RoundFn Quantity) Merge.kif 4920-4920 四舍五入函数range数量 的实例
(range SubtractionFn Quantity) Merge.kif 4538-4538 减法函数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 1732-1732 数字数量subclass
(subclass PhysicalDimension Quantity) engineering.kif 73-73 物理尺寸数量subclass
(subclass PhysicalQuantity Quantity) Merge.kif 1933-1933 物理量数量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 4522-4522 加法函数 的 1 数量 是 数量instance
(domain AdditionFn 2 Quantity) Merge.kif 4523-4523 加法函数 的 2 数量 是 数量instance
(domain DivisionFn 1 Quantity) Merge.kif 4552-4552 除法函数 的 1 数量 是 数量instance
(domain DivisionFn 2 Quantity) Merge.kif 4553-4553 除法函数 的 2 数量 是 数量instance
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4749-4749 LiftFn 的 1 数量 是 数量instance
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4751-4751 LiftFn 的 2 数量 是 数量instance
(domain MaxFn 1 Quantity) Merge.kif 4774-4774 较大值函数 的 1 数量 是 数量instance
(domain MaxFn 2 Quantity) Merge.kif 4775-4775 较大值函数 的 2 数量 是 数量instance
(domain MinFn 1 Quantity) Merge.kif 4800-4800 较小值函数 的 1 数量 是 数量instance
(domain MinFn 2 Quantity) Merge.kif 4801-4801 较小值函数 的 2 数量 是 数量instance
(domain MultiplicationFn 1 Quantity) Merge.kif 4509-4509 乘法函数 的 1 数量 是 数量instance
(domain MultiplicationFn 2 Quantity) Merge.kif 4510-4510 乘法函数 的 2 数量 是 数量instance
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7775-7775 PerCapitaFn 的 1 数量 是 数量instance
(domain RoundFn 1 Quantity) Merge.kif 4919-4919 四舍五入函数 的 1 数量 是 数量instance
(domain SubtractionFn 1 Quantity) Merge.kif 4536-4536 减法函数 的 1 数量 是 数量instance
(domain SubtractionFn 2 Quantity) Merge.kif 4537-4537 减法函数 的 2 数量 是 数量instance
(domain arcWeight 2 Quantity) Merge.kif 5645-5645 弧衡量 的 2 数量 是 数量instance
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1045-1045 基准表现 的 3 数量 是 数量instance
(domain defaultMaxValue 3 Quantity) Merge.kif 17064-17064 defaultMaxValue 的 3 数量 是 数量instance
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 11159-11159 defaultMaximumMeasure 的 2 数量 是 数量instance
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 11187-11187 defaultMeasure 的 2 数量 是 数量instance
(domain defaultMinValue 3 Quantity) Merge.kif 17049-17049 defaultMinValue 的 3 数量 是 数量instance
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 11130-11130 defaultMinimumMeasure 的 2 数量 是 数量instance
(domain defaultValue 3 Quantity) Merge.kif 17079-17079 defaultValue 的 3 数量 是 数量instance
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 22052-22052 设备数量 的 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 4761-4769

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 28220-28249
(=>
    (and
        (total ?CLASS ?QUANTITY)
        (instance ?ITEM ?CLASS))
    (instance ?ITEM Quantity))
UXExperimentalTerms.kif 4738-4742


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