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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasureMultiplier

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 6354-6357
(subclass UnitOfMeasureMultiplier TotalValuedRelation) Merge.kif 6352-6352 UnitOfMeasureMultiplier is a subclass of total valued relation
(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6351-6351 UnitOfMeasureMultiplier is a subclass of unary function

appearance as argument number 2
-------------------------


(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6399-6399 Giga is an instance of UnitOfMeasureMultiplier
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6371-6371 Kilo is an instance of UnitOfMeasureMultiplier
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6385-6385 Mega is an instance of UnitOfMeasureMultiplier
(instance MicroFn UnitOfMeasureMultiplier) Merge.kif 6441-6441 Micro is an instance of UnitOfMeasureMultiplier
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6427-6427 Milli is an instance of UnitOfMeasureMultiplier
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6455-6455 Nano is an instance of UnitOfMeasureMultiplier
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6470-6470 Pico is an instance of UnitOfMeasureMultiplier
(instance TeraFn UnitOfMeasureMultiplier) Merge.kif 6413-6413 Tera is an instance of UnitOfMeasureMultiplier

antecedent
-------------------------


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6359-6363
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))
Merge.kif 6365-6369


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners