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 1739-1740
(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 1736-1738
(partition Quantity FiniteQuantity InfiniteQuantity) Mid-level-ontology.kif 3357-3357
(subclass Quantity Abstract) Merge.kif 1735-1735

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1710-1710
(range AdditionFn Quantity) Merge.kif 4847-4847
(range ConversionRateFn Quantity) UXExperimentalTerms.kif 3050-3050
(range DivisionFn Quantity) Merge.kif 4883-4883
(range MaxFn Quantity) Merge.kif 5123-5123
(range MinFn Quantity) Merge.kif 5150-5150
(range MultiplicationFn Quantity) Merge.kif 4833-4833
(range PathWeightFn Quantity) Merge.kif 6079-6079
(range PerCapitaFn Quantity) Mid-level-ontology.kif 7796-7796
(range RoundFn Quantity) Merge.kif 5277-5277
(range SubtractionFn Quantity) Merge.kif 4863-4863
(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 1874-1874
(subclass PhysicalDimension Quantity) engineering.kif 73-73
(subclass PhysicalQuantity Quantity) Merge.kif 2086-2086
(termFormat ChineseLanguage Quantity "数量") chinese_format.kif 854-854
(termFormat EnglishLanguage Quantity "quantity") english_format.kif 541-541
(termFormat FrenchLanguage Quantity "quantit�") french_format.kif 530-530
(termFormat Hindi Quantity "parimaaNa") terms-hindi.txt 61-61
(termFormat ItalianLanguage Quantity "Quantit�") terms-it.txt 62-62
(termFormat PortugueseLanguage Quantity "Quantidade") portuguese_format.kif 482-482
(termFormat ar Quantity "مِقْدَار") arabic_format.kif 266-266
(termFormat cb Quantity "kadaghan") terms-cb.txt 66-66

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain AdditionFn 1 Quantity) Merge.kif 4845-4845
(domain AdditionFn 2 Quantity) Merge.kif 4846-4846
(domain DivisionFn 1 Quantity) Merge.kif 4881-4881
(domain DivisionFn 2 Quantity) Merge.kif 4882-4882
(domain LiftFn 1 Quantity) UXExperimentalTerms.kif 4742-4742
(domain LiftFn 2 Quantity) UXExperimentalTerms.kif 4744-4744
(domain MaxFn 1 Quantity) Merge.kif 5121-5121
(domain MaxFn 2 Quantity) Merge.kif 5122-5122
(domain MinFn 1 Quantity) Merge.kif 5148-5148
(domain MinFn 2 Quantity) Merge.kif 5149-5149
(domain MultiplicationFn 1 Quantity) Merge.kif 4831-4831
(domain MultiplicationFn 2 Quantity) Merge.kif 4832-4832
(domain PerCapitaFn 1 Quantity) Mid-level-ontology.kif 7794-7794
(domain RoundFn 1 Quantity) Merge.kif 5276-5276
(domain SubtractionFn 1 Quantity) Merge.kif 4861-4861
(domain SubtractionFn 2 Quantity) Merge.kif 4862-4862
(domain arcWeight 2 Quantity) Merge.kif 6070-6070
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1019-1019
(domain defaultMaxValue 3 Quantity) Merge.kif 18777-18777
(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 18763-18763
(domain defaultMinimumMeasure 2 Quantity) Mid-level-ontology.kif 11099-11099
(domain defaultValue 3 Quantity) Merge.kif 18791-18791
(domain equipmentCount 3 Quantity) Mid-level-ontology.kif 21983-21983

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 28110-28139
(=>
    (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