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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasureMultiplier
UnitOfMeasureMultiplier(unit of measure multiplier)

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 6460-6463
(documentation UnitOfMeasureMultiplier JapaneseLanguage "この C の各 instance は UnaryFunction であり、単一の引数で評価すると、UnitOfMeasure は引数の数値倍数である別の UnitOfMeasure を生成する。") japanese_format.kif 1129-1131
(subclass UnitOfMeasureMultiplier TotalValuedRelation) Merge.kif 6458-6458 Unit of measure multiplier is a subclass of total valued relation
(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6457-6457 Unit of measure multiplier is a subclass of unary function

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


(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6505-6505 Giga is an instance of unit of measure multiplier
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6477-6477 Kilo is an instance of unit of measure multiplier
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6491-6491 Mega is an instance of unit of measure multiplier
(instance MicroFn UnitOfMeasureMultiplier) Merge.kif 6547-6547 Micro is an instance of unit of measure multiplier
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6533-6533 Milli is an instance of unit of measure multiplier
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6561-6561 Nano is an instance of unit of measure multiplier
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6576-6576 Pico is an instance of unit of measure multiplier
(instance TeraFn UnitOfMeasureMultiplier) Merge.kif 6519-6519 Tera is an instance of unit of measure multiplier
(termFormat EnglishLanguage UnitOfMeasureMultiplier "unit of measure multiplier") domainEnglishFormat.kif 65683-65683 Tera is an instance of unit of measure multiplier

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))		 Merge.kif 6465-6469
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))		 Merge.kif 6471-6475


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 3.0 is open source software produced by Articulate Software and its partners