Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasureMultiplier
UnitOfMeasureMultiplier

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