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 1691-1693
(documentation Quantity JapaneseLanguage "何かの数や量の任意の仕様。 それに応じて、 二つの Quantity のサブクラスがある：Number (数)と PhysicalQuantity (量)。") japanese_format.kif 311-312
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 3335-3335 劃分 Quantity, 有限數量 and 無限的數量
(subclass Quantity Abstract) Merge.kif 1689-1689 子類 Quantity and Abstract

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1665-1665 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 2843-2843 範圍 ConversionRateFn and Quantity
(range PerCapitaFn Quantity) Mid-level-ontology.kif 9224-9224 範圍 PerCapitaFn and Quantity
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 3337-3337 子類 有限數量 and Quantity
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 3341-3341 子類 無限的數量 and Quantity
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 子類 多極數量 and Quantity
(subclass Number Quantity) Merge.kif 1819-1819 子類 Number and Quantity
(subclass PhysicalDimension Quantity) engineering.kif 73-73 子類 物理尺寸 and Quantity
(subclass PhysicalQuantity Quantity) Merge.kif 2021-2021 子類 PhysicalQuantity and Quantity
(termFormat ChineseLanguage Quantity "数量") chinese_format.kif 854-854 子類 PhysicalQuantity and Quantity
(termFormat EnglishLanguage Quantity "quantity") english_format.kif 910-910 子類 PhysicalQuantity and Quantity
(termFormat FrenchLanguage Quantity "quantit�") french_format.kif 530-530 子類 PhysicalQuantity and Quantity
(termFormat Hindi Quantity "parimaaNa") terms-hindi.txt 61-61 子類 PhysicalQuantity and Quantity
(termFormat ItalianLanguage Quantity "Quantit�") terms-it.txt 64-64 子類 PhysicalQuantity and Quantity
(termFormat JapaneseLanguage Quantity "量") japanese_format.kif 2215-2215 子類 PhysicalQuantity and Quantity
(termFormat PortugueseLanguage Quantity "Quantidade") portuguese_format.kif 482-482 子類 PhysicalQuantity and Quantity
(termFormat cb Quantity "kadaghan") terms-cb.txt 66-66 子類 PhysicalQuantity and Quantity
(termFormat cz Quantity "quantity") terms-cz.txt 97-97 子類 PhysicalQuantity and Quantity
(termFormat de Quantity "Eigenschaft") terms-de.txt 356-356 子類 PhysicalQuantity and Quantity
(termFormat ro Quantity "cantitate") relations-ro.kif 551-551 子類 PhysicalQuantity and Quantity
(termFormat tg Quantity "dami") terms-tg.txt 65-65 子類 PhysicalQuantity and Quantity

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


(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4551-4551 域 LiftFn, 1 and Quantity
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4553-4553 域 LiftFn, 2 and Quantity
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 9222-9222 域 PerCapitaFn, 1 and Quantity
(domain allowableValue 3 Quantity) Mid-level-ontology.kif 33312-33312 域 allowableValue, 3 and Quantity
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1149-1149 域 基準表現, 3 and Quantity
(domain concentration 1 Quantity) Medicine.kif 224-224 域 concentration, 1 and Quantity
(domain concentration 3 Quantity) Medicine.kif 226-226 域 concentration, 3 and Quantity
(domain defaultMaxValue 3 Quantity) Merge.kif 18614-18614 域 defaultMaxValue, 3 and Quantity
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 14871-14871 域 defaultMaximumMeasure, 2 and Quantity
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 14901-14901 域 defaultMeasure, 2 and Quantity
(domain defaultMinValue 3 Quantity) Merge.kif 18597-18597 域 defaultMinValue, 3 and Quantity
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 14840-14840 域 defaultMinimumMeasure, 2 and Quantity
(domain defaultValue 3 Quantity) Merge.kif 18631-18631 域 defaultValue, 3 and Quantity
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 25975-25975 域 設備數量, 3 and Quantity
(domain maxValue 3 Quantity) Merge.kif 18579-18579 域 maxValue, 3 and Quantity
(domain memberMeasure 3 Quantity) Mid-level-ontology.kif 32947-32947 域 memberMeasure, 3 and Quantity
(domain minValue 3 Quantity) Merge.kif 18561-18561 域 minValue, 3 and Quantity
(domain shortage 5 Quantity) Mid-level-ontology.kif 32826-32826 域 shortage, 5 and Quantity
(domain total 2 Quantity) UXExperimentalTerms.kif 4533-4533 域 total, 2 and Quantity

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


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

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


(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (element ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?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 31924-31954
(=>
    (and
        (total ?CLASS ?QUANTITY)
        (instance ?ITEM ?CLASS))
    (instance ?ITEM Quantity))		 UXExperimentalTerms.kif 4540-4544


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