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)可决定一组的正交维度,并给每一个维度分配单位。") Merge.kif 8890-8892
(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 8883-8888
(documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。 例えば、MeterInch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例:SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") Merge.kif 8894-8897
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 8930-8930
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 8881-8881

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 842-842
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2079-2079
(range GigaFn UnitOfMeasure) Merge.kif 9351-9351
(range KiloFn UnitOfMeasure) Merge.kif 9307-9307
(range MegaFn UnitOfMeasure) Merge.kif 9329-9329
(range MicroFn UnitOfMeasure) Merge.kif 9417-9417
(range MilliFn UnitOfMeasure) Merge.kif 9395-9395
(range NanoFn UnitOfMeasure) Merge.kif 9439-9439
(range PicoFn UnitOfMeasure) Merge.kif 9462-9462
(range SquareUnitFn UnitOfMeasure) Geography.kif 3741-3741
(range TeraFn UnitOfMeasure) Merge.kif 9373-9373
(range UnitFn UnitOfMeasure) Merge.kif 9555-9555
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 8899-8899
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 8915-8915
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 8945-8945
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 2616-2616
(termFormat JapaneseLanguage UnitOfMeasure "測定単位") english_format.kif 2617-2617

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


(domain GigaFn 1 UnitOfMeasure) Merge.kif 9350-9350
(domain KiloFn 1 UnitOfMeasure) Merge.kif 9306-9306
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 9169-9169
(domain MegaFn 1 UnitOfMeasure) Merge.kif 9328-9328
(domain MicroFn 1 UnitOfMeasure) Merge.kif 9416-9416
(domain MilliFn 1 UnitOfMeasure) Merge.kif 9394-9394
(domain NanoFn 1 UnitOfMeasure) Merge.kif 9438-9438
(domain PicoFn 1 UnitOfMeasure) Merge.kif 9461-9461
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3740-3740
(domain TeraFn 1 UnitOfMeasure) Merge.kif 9372-9372
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 888-888
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 8829-8829
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 828-828

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


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 9365-9369
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 9321-9325
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 9343-9347
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))
Merge.kif 9431-9435
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 9409-9413
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 9454-9458
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 9477-9481
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (MagnitudeFn ?QUANT) ?NUMBER))
Merge.kif 9546-9550
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 9573-9577
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 9387-9391
(=>
    (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 849-858
(=>
    (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 838-847

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 9257-9267
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners