| 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 6102-6105 | |
| (subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6100-6100 | subclass UnitOfMeasureMultiplier and TotalValuedRelation |
| (subclass UnitOfMeasureMultiplier UnaryFunction) | Merge.kif 6099-6099 | subclass UnitOfMeasureMultiplier and UnaryFunction |
| appearance as argument number 2 |
|
|
| (instance GigaFn UnitOfMeasureMultiplier) | Merge.kif 6147-6147 | instance GigaFn and UnitOfMeasureMultiplier |
| (instance KiloFn UnitOfMeasureMultiplier) | Merge.kif 6119-6119 | instance KiloFn and UnitOfMeasureMultiplier |
| (instance MegaFn UnitOfMeasureMultiplier) | Merge.kif 6133-6133 | instance MegaFn and UnitOfMeasureMultiplier |
| (instance MicroFn UnitOfMeasureMultiplier) | Merge.kif 6189-6189 | instance MicroFn and UnitOfMeasureMultiplier |
| (instance MilliFn UnitOfMeasureMultiplier) | Merge.kif 6175-6175 | instance MilliFn and UnitOfMeasureMultiplier |
| (instance NanoFn UnitOfMeasureMultiplier) | Merge.kif 6203-6203 | instance NanoFn and UnitOfMeasureMultiplier |
| (instance PicoFn UnitOfMeasureMultiplier) | Merge.kif 6218-6218 | instance PicoFn and UnitOfMeasureMultiplier |
| (instance TeraFn UnitOfMeasureMultiplier) | Merge.kif 6161-6161 | instance TeraFn and UnitOfMeasureMultiplier |
| antecedent |
|
|
| (=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure)) |
Merge.kif 6107-6111 | |
| (=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT NonCompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure)) |
Merge.kif 6113-6117 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners