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 1603-1605
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 3352-3352 partition Quantity, FiniteQuantity and InfiniteQuantity
(subclass Quantity Abstract) Merge.kif 1601-1601 subclass Quantity and Abstract

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1577-1577 disjointDecomposition Abstract, Quantity, Attribute, SetOrClass, Relation and Proposition
(range AdditionFn Quantity) Merge.kif 4393-4393 range AdditionFn and Quantity
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3048-3048 range ConversionRateFn and Quantity
(range DivisionFn Quantity) Merge.kif 4425-4425 range DivisionFn and Quantity
(range MaxFn Quantity) Merge.kif 4647-4647 range MaxFn and Quantity
(range MinFn Quantity) Merge.kif 4673-4673 range MinFn and Quantity
(range MultiplicationFn Quantity) Merge.kif 4380-4380 range MultiplicationFn and Quantity
(range PathWeightFn Quantity) Merge.kif 5532-5532 range PathWeightFn and Quantity
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7797-7797 range PerCapitaFn and Quantity
(range RoundFn Quantity) Merge.kif 4791-4791 range RoundFn and Quantity
(range SubtractionFn Quantity) Merge.kif 4408-4408 range SubtractionFn and Quantity
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 3354-3354 subclass FiniteQuantity and Quantity
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 3358-3358 subclass InfiniteQuantity and Quantity
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 subclass MultipoleQuantity and Quantity
(subclass Number Quantity) Merge.kif 1731-1731 subclass Number and Quantity
(subclass PhysicalDimension Quantity) engineering.kif 73-73 subclass PhysicalDimension and Quantity
(subclass PhysicalQuantity Quantity) Merge.kif 1932-1932 subclass PhysicalQuantity and Quantity
(termFormat ChineseLanguage Quantity "数量") chinese_format.kif 854-854 termFormat ChineseLanguage, Quantity and "数量"
(termFormat EnglishLanguage Quantity "quantity") english_format.kif 915-915 termFormat EnglishLanguage, Quantity and "quantity"

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


(domain AdditionFn 1 Quantity) Merge.kif 4391-4391 domain AdditionFn, 1 and Quantity
(domain AdditionFn 2 Quantity) Merge.kif 4392-4392 domain AdditionFn, 2 and Quantity
(domain DivisionFn 1 Quantity) Merge.kif 4423-4423 domain DivisionFn, 1 and Quantity
(domain DivisionFn 2 Quantity) Merge.kif 4424-4424 domain DivisionFn, 2 and Quantity
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4749-4749 domain LiftFn, 1 and Quantity
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4751-4751 domain LiftFn, 2 and Quantity
(domain MaxFn 1 Quantity) Merge.kif 4645-4645 domain MaxFn, 1 and Quantity
(domain MaxFn 2 Quantity) Merge.kif 4646-4646 domain MaxFn, 2 and Quantity
(domain MinFn 1 Quantity) Merge.kif 4671-4671 domain MinFn, 1 and Quantity
(domain MinFn 2 Quantity) Merge.kif 4672-4672 domain MinFn, 2 and Quantity
(domain MultiplicationFn 1 Quantity) Merge.kif 4378-4378 domain MultiplicationFn, 1 and Quantity
(domain MultiplicationFn 2 Quantity) Merge.kif 4379-4379 domain MultiplicationFn, 2 and Quantity
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7795-7795 domain PerCapitaFn, 1 and Quantity
(domain RoundFn 1 Quantity) Merge.kif 4790-4790 domain RoundFn, 1 and Quantity
(domain SubtractionFn 1 Quantity) Merge.kif 4406-4406 domain SubtractionFn, 1 and Quantity
(domain SubtractionFn 2 Quantity) Merge.kif 4407-4407 domain SubtractionFn, 2 and Quantity
(domain arcWeight 2 Quantity) Merge.kif 5524-5524 domain arcWeight, 2 and Quantity
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1045-1045 domain benchmarkPerformance, 3 and Quantity
(domain defaultMaxValue 3 Quantity) Merge.kif 16944-16944 domain defaultMaxValue, 3 and Quantity
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 11133-11133 domain defaultMaximumMeasure, 2 and Quantity
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 11161-11161 domain defaultMeasure, 2 and Quantity
(domain defaultMinValue 3 Quantity) Merge.kif 16929-16929 domain defaultMinValue, 3 and Quantity
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 11104-11104 domain defaultMinimumMeasure, 2 and Quantity
(domain defaultValue 3 Quantity) Merge.kif 16959-16959 domain defaultValue, 3 and Quantity
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 22015-22015 domain equipmentCount, 3 and Quantity

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 28184-28213
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners