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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasure
UnitOfMeasure(测量单位)

appearance as argument number 1
-------------------------


(documentation UnitOfMeasure ChineseLanguage "这是某些量䋞的量度标准。例如:MeterInch 是长度的 UnitOfMeasureUnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如: SystemeInternationalUnit)可决定一组的正交维度,并给每一个维度分配单位。") chinese_format.kif 2394-2396
(documentation UnitOfMeasure EnglishLanguage "A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental, rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.") Merge.kif 5885-5890
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 5908-5908 测量单位 详尽无遗地 partitionCompositeUnitOfMeasureNonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 5883-5883 测量单位物理量subclass

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 853-853 拉德测量单位instance
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2080-2080 RevolutionsPerMinute测量单位instance
(range GigaFn UnitOfMeasure) Merge.kif 6182-6182 十亿倍函数range测量单位 的实例
(range KiloFn UnitOfMeasure) Merge.kif 6154-6154 千倍函数range测量单位 的实例
(range MegaFn UnitOfMeasure) Merge.kif 6168-6168 百万倍函数range测量单位 的实例
(range MicroFn UnitOfMeasure) Merge.kif 6224-6224 百万分之一函数range测量单位 的实例
(range MilliFn UnitOfMeasure) Merge.kif 6210-6210 千分之一函数range测量单位 的实例
(range NanoFn UnitOfMeasure) Merge.kif 6238-6238 十亿分之一函数range测量单位 的实例
(range PicoFn UnitOfMeasure) Merge.kif 6253-6253 万亿分之一函数range测量单位 的实例
(range SquareUnitFn UnitOfMeasure) Geography.kif 3754-3754 方形单位range测量单位 的实例
(range TeraFn UnitOfMeasure) Merge.kif 6196-6196 一万亿倍函数range测量单位 的实例
(range UnitFn UnitOfMeasure) Merge.kif 6317-6317 UnitFnrange测量单位 的实例
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5892-5892 CompositeUnitOfMeasure测量单位subclass
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5900-5900 NonCompositeUnitOfMeasure测量单位subclass
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 5922-5922 国际单位制测量单位subclass
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1828-1828

appearance as argument number 3
-------------------------


(domain GigaFn 1 UnitOfMeasure) Merge.kif 6181-6181 十亿倍函数 的 1 数量 是 测量单位instance
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6153-6153 千倍函数 的 1 数量 是 测量单位instance
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6034-6034 计量函数 的 2 数量 是 测量单位instance
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6167-6167 百万倍函数 的 1 数量 是 测量单位instance
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6223-6223 百万分之一函数 的 1 数量 是 测量单位instance
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6209-6209 千分之一函数 的 1 数量 是 测量单位instance
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6237-6237 十亿分之一函数 的 1 数量 是 测量单位instance
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6252-6252 万亿分之一函数 的 1 数量 是 测量单位instance
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3753-3753 方形单位 的 1 数量 是 测量单位instance
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6195-6195 一万亿倍函数 的 1 数量 是 测量单位instance
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 898-898 组件数据ID 的 4 数量 是 测量单位instance
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 5836-5836 graphMeasure 的 2 数量 是 测量单位instance
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 838-838 单位测量性能 的 2 数量 是 测量单位instance

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


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3761-3765 测量单位测量单位instance 物理量 equal 1 那个 测量单位square 单位 若且唯若 那个 物理量 equal 1 那个 测量单位 和 1 那个 测量单位
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6188-6192
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 6160-6164
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 6174-6178
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))
Merge.kif 6230-6234
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6216-6220
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 6245-6249
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 6260-6264
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (MagnitudeFn ?QUANT) ?NUMBER))
Merge.kif 6308-6312
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6325-6329
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6202-6206
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (greaterThan
            (SubtractionFn ?FAR ?LIMIT) 0))
    (not
        (located ?OBJ ?ZONE)))
Geography.kif 862-871
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0))
    (located ?OBJ ?ZONE))
Geography.kif 851-860

consequent
-------------------------


(=>
    (and
        (instance ?REL RelationExtendedToQuantities)
        (instance ?REL BinaryPredicate)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber)
        (?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
        (=>
            (instance ?UNIT UnitOfMeasure)
            (?REL
                (MeasureFn ?NUMBER1 ?UNIT)
                (MeasureFn ?NUMBER2 ?UNIT)))))
Merge.kif 6112-6122
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2281-2286


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