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 6417-6420
(subclass UnitOfMeasureMultiplier TotalValuedRelation) Merge.kif 6415-6415 subclass UnitOfMeasureMultiplier and TotalValuedRelation
(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6414-6414 subclass UnitOfMeasureMultiplier and UnaryFunction

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


(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6462-6462 instance GigaFn and UnitOfMeasureMultiplier
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6434-6434 instance KiloFn and UnitOfMeasureMultiplier
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6448-6448 instance MegaFn and UnitOfMeasureMultiplier
(instance MicroFn UnitOfMeasureMultiplier) Merge.kif 6504-6504 instance MicroFn and UnitOfMeasureMultiplier
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6490-6490 instance MilliFn and UnitOfMeasureMultiplier
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6518-6518 instance NanoFn and UnitOfMeasureMultiplier
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6533-6533 instance PicoFn and UnitOfMeasureMultiplier
(instance TeraFn UnitOfMeasureMultiplier) Merge.kif 6476-6476 instance TeraFn and UnitOfMeasureMultiplier
(termFormat EnglishLanguage UnitOfMeasureMultiplier "unit of measure multiplier") domainEnglishFormat.kif 65745-65745

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6422-6426
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))
Merge.kif 6428-6432


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