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 1642-1644
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 2827-2827 partition Quantity, FiniteQuantity and InfiniteQuantity
(subclass Quantity Abstract) Merge.kif 1640-1640 subclass Quantity and Abstract

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1616-1616 disjointDecomposition Abstract, Quantity, Attribute, Relation, Proposition and List
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3053-3053 range ConversionRateFn and Quantity
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7730-7730 range PerCapitaFn and Quantity
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2829-2829 subclass FiniteQuantity and Quantity
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2833-2833 subclass InfiniteQuantity and Quantity
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 subclass MultipoleQuantity and Quantity
(subclass Number Quantity) Merge.kif 1770-1770 subclass Number and Quantity
(subclass PhysicalDimension Quantity) engineering.kif 73-73 subclass PhysicalDimension and Quantity
(subclass PhysicalQuantity Quantity) Merge.kif 1971-1971 subclass PhysicalQuantity and Quantity
(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 domain LiftFn, 1 and Quantity
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4754-4754 domain LiftFn, 2 and Quantity
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7728-7728 domain PerCapitaFn, 1 and Quantity
(domain allowableValue 3 Quantity) Mid-level-ontology.kif 30756-30756 domain allowableValue, 3 and Quantity
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1045-1045 domain benchmarkPerformance, 3 and Quantity
(domain defaultMaxValue 3 Quantity) Merge.kif 18181-18181 domain defaultMaxValue, 3 and Quantity
(domain defaultMaximumMeasure 2 Quantity) Mid-level-ontology.kif 13002-13002 domain defaultMaximumMeasure, 2 and Quantity
(domain defaultMeasure 2 Quantity) Mid-level-ontology.kif 13032-13032 domain defaultMeasure, 2 and Quantity
(domain defaultMinValue 3 Quantity) Merge.kif 18164-18164 domain defaultMinValue, 3 and Quantity
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 12971-12971 domain defaultMinimumMeasure, 2 and Quantity
(domain defaultValue 3 Quantity) Merge.kif 18198-18198 domain defaultValue, 3 and Quantity
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 23692-23692 domain equipmentCount, 3 and Quantity
(domain maxValue 3 Quantity) Merge.kif 18146-18146 domain maxValue, 3 and Quantity
(domain memberMeasure 3 Quantity) Mid-level-ontology.kif 30409-30409 domain memberMeasure, 3 and Quantity
(domain minValue 3 Quantity) Merge.kif 18128-18128 domain minValue, 3 and Quantity
(domain shortage 5 Quantity) Mid-level-ontology.kif 30290-30290 domain shortage, 5 and Quantity
(domain total 2 Quantity) UXExperimentalTerms.kif 4734-4734 domain total, 2 and Quantity

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 29432-29462
(=>
    (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