|
|
   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 8055-8055 | Die Zahl 1 Argument von PerCapitaFn ist ein fall von Quantity %n{nicht} |
| (domain allowableValue 3 Quantity) | Mid-level-ontology.kif 31365-31365 | 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 18442-18442 | Die Zahl 3 Argument von defaultMaxValue ist ein fall von Quantity %n{nicht} |
| (domain defaultMaximumMeasure 2 Quantity) | Mid-level-ontology.kif 13532-13532 | Die Zahl 2 Argument von defaultMaximumMeasure ist ein fall von Quantity %n{nicht} |
| (domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 13562-13562 | Die Zahl 2 Argument von defaultMeasure ist ein fall von Quantity %n{nicht} |
| (domain defaultMinValue 3 Quantity) | Merge.kif 18425-18425 | Die Zahl 3 Argument von defaultMinValue ist ein fall von Quantity %n{nicht} |
| (domain defaultMinimumMeasure 2 Quantity) | Mid-level-ontology.kif 13501-13501 | Die Zahl 2 Argument von defaultMinimumMeasure ist ein fall von Quantity %n{nicht} |
| (domain defaultValue 3 Quantity) | Merge.kif 18459-18459 | Die Zahl 3 Argument von defaultValue ist ein fall von Quantity %n{nicht} |
| (domain equipmentCount 3 Quantity) | Mid-level-ontology.kif 24311-24311 | Die Zahl 3 Argument von equipmentCount ist ein fall von Quantity %n{nicht} |
| (domain maxValue 3 Quantity) | Merge.kif 18407-18407 | Die Zahl 3 Argument von maxValue ist ein fall von Quantity %n{nicht} |
| (domain memberMeasure 3 Quantity) | Mid-level-ontology.kif 31009-31009 | Die Zahl 3 Argument von memberMeasure ist ein fall von Quantity %n{nicht} |
| (domain minValue 3 Quantity) | Merge.kif 18389-18389 | Die Zahl 3 Argument von minValue ist ein fall von Quantity %n{nicht} |
| (domain shortage 5 Quantity) | Mid-level-ontology.kif 30888-30888 | 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 30030-30060 |
|
| (=> (and (total ?CLASS ?QUANTITY) (instance ?ITEM ?CLASS)) (instance ?ITEM Quantity)) |
UXExperimentalTerms.kif 4540-4544 |
|
|
|