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 6451-6454
(documentation UnitOfMeasureMultiplier JapaneseLanguage "この C の各 instance は UnaryFunction であり、単一の引数で評価すると、UnitOfMeasure は引数の数値倍数である別の UnitOfMeasure を生成する。") japanese_format.kif 1129-1131
(subclass UnitOfMeasureMultiplier TotalValuedRelation) Merge.kif 6449-6449 UnitOfMeasureMultiplier è una sottoclasse di RelazioneAValoreTotale
(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6448-6448 UnitOfMeasureMultiplier è una sottoclasse di FunzioneUnaria

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


(instance GigaFn UnitOfMeasureMultiplier) Merge.kif 6496-6496 GigaFn è un' istanza di UnitOfMeasureMultiplier
(instance KiloFn UnitOfMeasureMultiplier) Merge.kif 6468-6468 KiloFn è un' istanza di UnitOfMeasureMultiplier
(instance MegaFn UnitOfMeasureMultiplier) Merge.kif 6482-6482 MegaFn è un' istanza di UnitOfMeasureMultiplier
(instance MicroFn UnitOfMeasureMultiplier) Merge.kif 6538-6538 MicroFn è un' istanza di UnitOfMeasureMultiplier
(instance MilliFn UnitOfMeasureMultiplier) Merge.kif 6524-6524 MilliFn è un' istanza di UnitOfMeasureMultiplier
(instance NanoFn UnitOfMeasureMultiplier) Merge.kif 6552-6552 NanoFn è un' istanza di UnitOfMeasureMultiplier
(instance PicoFn UnitOfMeasureMultiplier) Merge.kif 6567-6567 PicoFn è un' istanza di UnitOfMeasureMultiplier
(instance TeraFn UnitOfMeasureMultiplier) Merge.kif 6510-6510 TeraFn è un' istanza di UnitOfMeasureMultiplier
(termFormat EnglishLanguage UnitOfMeasureMultiplier "unit of measure multiplier") domainEnglishFormat.kif 65662-65662

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))		 Merge.kif 6456-6460
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))		 Merge.kif 6462-6466


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