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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Quantity

Sigma KEE - Quantity
Quantity

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


(documentation Quantity ChineseLanguage "这是任何表示东西数量或多少的规格。故此 Quantity 共有两个 子类别:Number (数量)和 PhysicalQuantity (多少)。") Merge.kif 1752-1753
(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 1749-1751
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 3357-3357
(subclass Quantity Abstract) Merge.kif 1748-1748

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1722-1722
(range AdditionFn Quantity) Merge.kif 4860-4860
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3050-3050
(range DivisionFn Quantity) Merge.kif 4896-4896
(range MaxFn Quantity) Merge.kif 5136-5136
(range MinFn Quantity) Merge.kif 5163-5163
(range MultiplicationFn Quantity) Merge.kif 4846-4846
(range PathWeightFn Quantity) Merge.kif 6092-6092
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7796-7796
(range RoundFn Quantity) Merge.kif 5290-5290
(range SubtractionFn Quantity) Merge.kif 4876-4876
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 3359-3359
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 3363-3363
(subclass MultipoleQuantity Quantity) engineering.kif 292-292
(subclass Number Quantity) Merge.kif 1887-1887
(subclass PhysicalDimension Quantity) engineering.kif 73-73
(subclass PhysicalQuantity Quantity) Merge.kif 2099-2099
(termFormat ChineseLanguage Quantity "数量") chinese_format.kif 854-854
(termFormat EnglishLanguage Quantity "quantity") english_format.kif 623-623
(termFormat JapaneseLanguage Quantity "量") english_format.kif 624-624

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


(domain AdditionFn 1 Quantity) Merge.kif 4858-4858
(domain AdditionFn 2 Quantity) Merge.kif 4859-4859
(domain DivisionFn 1 Quantity) Merge.kif 4894-4894
(domain DivisionFn 2 Quantity) Merge.kif 4895-4895
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4742-4742
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4744-4744
(domain MaxFn 1 Quantity) Merge.kif 5134-5134
(domain MaxFn 2 Quantity) Merge.kif 5135-5135
(domain MinFn 1 Quantity) Merge.kif 5161-5161
(domain MinFn 2 Quantity) Merge.kif 5162-5162
(domain MultiplicationFn 1 Quantity) Merge.kif 4844-4844
(domain MultiplicationFn 2 Quantity) Merge.kif 4845-4845
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7794-7794
(domain RoundFn 1 Quantity) Merge.kif 5289-5289
(domain SubtractionFn 1 Quantity) Merge.kif 4874-4874
(domain SubtractionFn 2 Quantity) Merge.kif 4875-4875
(domain arcWeight 2 Quantity) Merge.kif 6083-6083
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1035-1035
(domain defaultMaxValue 3 Quantity) Merge.kif 18833-18833
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 11128-11128
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 11156-11156
(domain defaultMinValue 3 Quantity) Merge.kif 18818-18818
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 11099-11099
(domain defaultValue 3 Quantity) Merge.kif 18848-18848
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 22014-22014

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 4754-4762

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 28190-28219
(=>
    (and
        (total ?CLASS ?QUANTITY)
        (instance ?ITEM ?CLASS))
    (instance ?ITEM Quantity))
UXExperimentalTerms.kif 4730-4734


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

Show without tree


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