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, 有限數量 and 無限的數量 |
(subclass Quantity Abstract) | Merge.kif 1694-1694 | 子類 Quantity and Abstract |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
(=> (and (instance ?QUANTITY1 Quantity) (instance ?QUANTITY2 Quantity)) (equal (LiftFn ?QUANTITY1 ?QUANTITY2) (DivisionFn (SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2))) |
UXExperimentalTerms.kif 4563-4571 |
|
consequent |