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 1696-1698 | |
(documentation Quantity JapaneseLanguage "何かの数や量の任意の仕様。 それに応じて、 二つの Quantity のサブクラスがある:Number (数)と PhysicalQuantity (量)。") | japanese_format.kif 311-312 | |
(partition Quantity FiniteQuantity InfiniteQuantity) | Mid-level-ontology.kif 2872-2872 | Quantity wird vollstaendig in FiniteQuantity und InfiniteQuantity verteilt |
(subclass Quantity Abstract) | Merge.kif 1694-1694 | Quantity ist eine teilkategorie von Abstract |
appearance as argument number 2 |
appearance as argument number 3 |
(domain LiftFn 1 Quantity) | UXExperimentalTerms.kif 4551-4551 | Die Zahl 1 Argument von LiftFn ist ein fall von Quantity %n{nicht} |
(domain LiftFn 2 Quantity) | UXExperimentalTerms.kif 4553-4553 | Die Zahl 2 Argument von LiftFn ist ein fall von Quantity %n{nicht} |
(domain PerCapitaFn 1 Quantity) | Mid-level-ontology.kif 8054-8054 | Die Zahl 1 Argument von PerCapitaFn ist ein fall von Quantity %n{nicht} |
(domain allowableValue 3 Quantity) | Mid-level-ontology.kif 31361-31361 | Die Zahl 3 Argument von allowableValue ist ein fall von Quantity %n{nicht} |
(domain benchmarkPerformance 3 Quantity) | QoSontology.kif 1040-1040 | Die Zahl 3 Argument von benchmarkPerformance ist ein fall von Quantity %n{nicht} |
(domain concentration 1 Quantity) | Medicine.kif 224-224 | Die Zahl 1 Argument von concentration ist ein fall von Quantity %n{nicht} |
(domain concentration 3 Quantity) | Medicine.kif 226-226 | Die Zahl 3 Argument von concentration ist ein fall von Quantity %n{nicht} |
(domain defaultMaxValue 3 Quantity) | Merge.kif 18464-18464 | Die Zahl 3 Argument von defaultMaxValue ist ein fall von Quantity %n{nicht} |
(domain defaultMaximumMeasure 2 Quantity) | Mid-level-ontology.kif 13531-13531 | Die Zahl 2 Argument von defaultMaximumMeasure ist ein fall von Quantity %n{nicht} |
(domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 13561-13561 | Die Zahl 2 Argument von defaultMeasure ist ein fall von Quantity %n{nicht} |
(domain defaultMinValue 3 Quantity) | Merge.kif 18447-18447 | Die Zahl 3 Argument von defaultMinValue ist ein fall von Quantity %n{nicht} |
(domain defaultMinimumMeasure 2 Quantity) | Mid-level-ontology.kif 13500-13500 | Die Zahl 2 Argument von defaultMinimumMeasure ist ein fall von Quantity %n{nicht} |
(domain defaultValue 3 Quantity) | Merge.kif 18481-18481 | Die Zahl 3 Argument von defaultValue ist ein fall von Quantity %n{nicht} |
(domain equipmentCount 3 Quantity) | Mid-level-ontology.kif 24310-24310 | Die Zahl 3 Argument von equipmentCount ist ein fall von Quantity %n{nicht} |
(domain maxValue 3 Quantity) | Merge.kif 18429-18429 | Die Zahl 3 Argument von maxValue ist ein fall von Quantity %n{nicht} |
(domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 30997-30997 | Die Zahl 3 Argument von memberMeasure ist ein fall von Quantity %n{nicht} |
(domain minValue 3 Quantity) | Merge.kif 18411-18411 | Die Zahl 3 Argument von minValue ist ein fall von Quantity %n{nicht} |
(domain shortage 5 Quantity) | Mid-level-ontology.kif 30876-30876 | Die Zahl 5 Argument von shortage ist ein fall von Quantity %n{nicht} |
(domain total 2 Quantity) | UXExperimentalTerms.kif 4533-4533 | Die Zahl 2 Argument von total ist ein fall von Quantity %n{nicht} |
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 30018-30048 |
|
(=> (and (total ?CLASS ?QUANTITY) (instance ?ITEM ?CLASS)) (instance ?ITEM Quantity)) |
UXExperimentalTerms.kif 4540-4544 |