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

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1610-1610 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3053-3053 ConversionRateFnrange数量 的实例
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7726-7726 PerCapitaFnrange数量 的实例
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2825-2825 有限数量数量subclass
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2829-2829 无限的数量数量subclass
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 多极数量数量subclass
(subclass Number Quantity) Merge.kif 1764-1764 数字数量subclass
(subclass PhysicalDimension Quantity) engineering.kif 73-73 物理尺寸数量subclass
(subclass PhysicalQuantity Quantity) Merge.kif 1965-1965 物理量数量subclass
(termFormat ChineseLanguage Quantity "数量") chinese_format.kif 854-854
(termFormat EnglishLanguage Quantity "quantity") english_format.kif 910-910

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


(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4752-4752 LiftFn 的 1 数量 是 数量instance
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4754-4754 LiftFn 的 2 数量 是 数量instance
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7724-7724 PerCapitaFn 的 1 数量 是 数量instance
(domain allowableValue 3 Quantity) Mid-level-ontology.kif 30732-30732 allowableValue 的 3 数量 是 数量instance
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1045-1045 基准表现 的 3 数量 是 数量instance
(domain defaultMaxValue 3 Quantity) Merge.kif 18168-18168 defaultMaxValue 的 3 数量 是 数量instance
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 12998-12998 defaultMaximumMeasure 的 2 数量 是 数量instance
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 13028-13028 defaultMeasure 的 2 数量 是 数量instance
(domain defaultMinValue 3 Quantity) Merge.kif 18151-18151 defaultMinValue 的 3 数量 是 数量instance
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 12967-12967 defaultMinimumMeasure 的 2 数量 是 数量instance
(domain defaultValue 3 Quantity) Merge.kif 18185-18185 defaultValue 的 3 数量 是 数量instance
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 23668-23668 设备数量 的 3 数量 是 数量instance
(domain maxValue 3 Quantity) Merge.kif 18133-18133 maxValue 的 3 数量 是 数量instance
(domain memberMeasure 3 Quantity) Mid-level-ontology.kif 30385-30385 memberMeasure 的 3 数量 是 数量instance
(domain minValue 3 Quantity) Merge.kif 18115-18115 minValue 的 3 数量 是 数量instance
(domain shortage 5 Quantity) Mid-level-ontology.kif 30266-30266 shortage 的 5 数量 是 数量instance
(domain total 2 Quantity) UXExperimentalTerms.kif 4734-4734 total 的 2 数量 是 数量instance

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


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

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)
            (instance ?P1 ?PC)
            (refers ?X ?Q)
            (refers ?Q ?P1)
            (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 29408-29438
(=>
    (and
        (total ?CLASS ?QUANTITY)
        (instance ?ITEM ?CLASS))
    (instance ?ITEM Quantity))
UXExperimentalTerms.kif 4741-4745


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