| 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 1600-1602 | |
| (partition Quantity FiniteQuantity InfiniteQuantity) | Mid-level-ontology.kif 3358-3358 | |
| (subclass Quantity Abstract) | Merge.kif 1598-1598 |
| appearance as argument number 2 |
|
|
| (disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) | Merge.kif 1574-1574 | |
| (range AdditionFn Quantity) | Merge.kif 4493-4493 | |
| (range ConversionRateFn Quantity) | UXExperimentalTerms.kif 3048-3048 | |
| (range DivisionFn Quantity) | Merge.kif 4523-4523 | |
| (range MaxFn Quantity) | Merge.kif 4745-4745 | |
| (range MinFn Quantity) | Merge.kif 4771-4771 | |
| (range MultiplicationFn Quantity) | Merge.kif 4480-4480 | |
| (range PathWeightFn Quantity) | Merge.kif 5628-5628 | |
| (range PerCapitaFn Quantity) | Mid-level-ontology.kif 7804-7804 | |
| (range RoundFn Quantity) | Merge.kif 4889-4889 | |
| (range SubtractionFn Quantity) | Merge.kif 4507-4507 | |
| (subclass FiniteQuantity Quantity) | Mid-level-ontology.kif 3360-3360 | |
| (subclass InfiniteQuantity Quantity) | Mid-level-ontology.kif 3364-3364 | |
| (subclass MultipoleQuantity Quantity) | engineering.kif 292-292 | |
| (subclass Number Quantity) | Merge.kif 1732-1732 | |
| (subclass PhysicalDimension Quantity) | engineering.kif 73-73 | |
| (subclass PhysicalQuantity Quantity) | Merge.kif 1933-1933 | |
| (termFormat ChineseLanguage Quantity "数量") | chinese_format.kif 854-854 | |
| (termFormat EnglishLanguage Quantity "quantity") | english_format.kif 915-915 |
| appearance as argument number 3 |
|
|
| (domain AdditionFn 1 Quantity) | Merge.kif 4491-4491 | |
| (domain AdditionFn 2 Quantity) | Merge.kif 4492-4492 | |
| (domain DivisionFn 1 Quantity) | Merge.kif 4521-4521 | |
| (domain DivisionFn 2 Quantity) | Merge.kif 4522-4522 | |
| (domain LiftFn 1 Quantity) | UXExperimentalTerms.kif 4749-4749 | |
| (domain LiftFn 2 Quantity) | UXExperimentalTerms.kif 4751-4751 | |
| (domain MaxFn 1 Quantity) | Merge.kif 4743-4743 | |
| (domain MaxFn 2 Quantity) | Merge.kif 4744-4744 | |
| (domain MinFn 1 Quantity) | Merge.kif 4769-4769 | |
| (domain MinFn 2 Quantity) | Merge.kif 4770-4770 | |
| (domain MultiplicationFn 1 Quantity) | Merge.kif 4478-4478 | |
| (domain MultiplicationFn 2 Quantity) | Merge.kif 4479-4479 | |
| (domain PerCapitaFn 1 Quantity) | Mid-level-ontology.kif 7802-7802 | |
| (domain RoundFn 1 Quantity) | Merge.kif 4888-4888 | |
| (domain SubtractionFn 1 Quantity) | Merge.kif 4505-4505 | |
| (domain SubtractionFn 2 Quantity) | Merge.kif 4506-4506 | |
| (domain arcWeight 2 Quantity) | Merge.kif 5620-5620 | |
| (domain benchmarkPerformance 3 Quantity) | QoSontology.kif 1045-1045 | |
| (domain defaultMaxValue 3 Quantity) | Merge.kif 17047-17047 | |
| (domain defaultMaximumMeasure 2 Quantity) | Mid-level-ontology.kif 11186-11186 | |
| (domain defaultMeasure 2 Quantity) | Mid-level-ontology.kif 11214-11214 | |
| (domain defaultMinValue 3 Quantity) | Merge.kif 17032-17032 | |
| (domain defaultMinimumMeasure 2 Quantity) | Mid-level-ontology.kif 11157-11157 | |
| (domain defaultValue 3 Quantity) | Merge.kif 17062-17062 | |
| (domain equipmentCount 3 Quantity) | Mid-level-ontology.kif 22079-22079 | |
| 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 4761-4769 |
| 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 28248-28277 | |
| (=> (and (total ?CLASS ?QUANTITY) (instance ?ITEM ?CLASS)) (instance ?ITEM Quantity)) |
UXExperimentalTerms.kif 4738-4742 |
|
|
|