|
|
   Questioning
|
|
|
| appearance as argument number 1 |
|
|
| (documentation UnitOfMeasureMultiplier ChineseLanguage "这个 Class 的每一个 instance 都是 UnaryFunction，当我们以单一的参数来评估的话， 一个 UnitOfMeasure 会产生出另一个 UnitOfMeasure， 也就是说这是参数的一个数值倍数。") | chinese_format.kif 2437-2439 | |
| (documentation UnitOfMeasureMultiplier EnglishLanguage "Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument.") | Merge.kif 6451-6454 | |
| (documentation UnitOfMeasureMultiplier JapaneseLanguage "この C の各 instance は UnaryFunction であり、単一の引数で評価すると、UnitOfMeasure は引数の数値倍数である別の UnitOfMeasure を生成する。") | japanese_format.kif 1129-1131 | |
| (subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6449-6449 | 子類 UnitOfMeasureMultiplier and TotalValuedRelation |
| (subclass UnitOfMeasureMultiplier UnaryFunction) | Merge.kif 6448-6448 | 子類 UnitOfMeasureMultiplier and UnaryFunction |
| appearance as argument number 2 |
|
|
| (instance GigaFn UnitOfMeasureMultiplier) | Merge.kif 6496-6496 | 例 千兆 and UnitOfMeasureMultiplier |
| (instance KiloFn UnitOfMeasureMultiplier) | Merge.kif 6468-6468 | 例 千 and UnitOfMeasureMultiplier |
| (instance MegaFn UnitOfMeasureMultiplier) | Merge.kif 6482-6482 | 例 兆 and UnitOfMeasureMultiplier |
| (instance MicroFn UnitOfMeasureMultiplier) | Merge.kif 6538-6538 | 例 微 and UnitOfMeasureMultiplier |
| (instance MilliFn UnitOfMeasureMultiplier) | Merge.kif 6524-6524 | 例 毫 and UnitOfMeasureMultiplier |
| (instance NanoFn UnitOfMeasureMultiplier) | Merge.kif 6552-6552 | 例 奈米 and UnitOfMeasureMultiplier |
| (instance PicoFn UnitOfMeasureMultiplier) | Merge.kif 6567-6567 | 例 皮可 and UnitOfMeasureMultiplier |
| (instance TeraFn UnitOfMeasureMultiplier) | Merge.kif 6510-6510 | 例 TERA and UnitOfMeasureMultiplier |
| (termFormat EnglishLanguage UnitOfMeasureMultiplier "unit of measure multiplier") | domainEnglishFormat.kif 65662-65662 |
| antecedent |
|
|
| (=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6456-6460 | |
| (=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure)) |
Merge.kif 6462-6466 |
|
|
|