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 6450-6453
(documentation UnitOfMeasureMultiplier JapaneseLanguage "この C の各 instanceUnaryFunction であり、単一の引数で評価すると、UnitOfMeasure は引数の数値倍数である別の UnitOfMeasure を生成する。") japanese_format.kif 1129-1131
(subclass UnitOfMeasureMultiplier TotalValuedRelation) Merge.kif 6448-6448 UnitOfMeasureMultiplier总值关系subclass
(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6447-6447 UnitOfMeasureMultiplier一元函数subclass

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


(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6495-6495 十亿倍函数UnitOfMeasureMultiplierinstance
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6467-6467 千倍函数UnitOfMeasureMultiplierinstance
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6481-6481 百万倍函数UnitOfMeasureMultiplierinstance
(instance MicroFn UnitOfMeasureMultiplier) Merge.kif 6537-6537 百万分之一函数UnitOfMeasureMultiplierinstance
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6523-6523 千分之一函数UnitOfMeasureMultiplierinstance
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6551-6551 十亿分之一函数UnitOfMeasureMultiplierinstance
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6566-6566 万亿分之一函数UnitOfMeasureMultiplierinstance
(instance TeraFn UnitOfMeasureMultiplier) Merge.kif 6509-6509 一万亿倍函数UnitOfMeasureMultiplierinstance
(termFormat EnglishLanguage UnitOfMeasureMultiplier "unit of measure multiplier") domainEnglishFormat.kif 65660-65660

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6455-6459
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))
Merge.kif 6461-6465


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