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 "这是某些量䋞的量度标准。例如：Meter 和 Inch 是长度的 UnitOfMeasure。UnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如： 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 5764-5769
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 5787-5787 partition UnitOfMeasure, CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 5762-5762 subclass UnitOfMeasure and PhysicalQuantity

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 853-853 instance Rad and UnitOfMeasure
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2079-2079 instance RevolutionsPerMinute and UnitOfMeasure
(range GigaFn UnitOfMeasure) Merge.kif 6063-6063 range GigaFn and UnitOfMeasure
(range KiloFn UnitOfMeasure) Merge.kif 6035-6035 range KiloFn and UnitOfMeasure
(range MegaFn UnitOfMeasure) Merge.kif 6049-6049 range MegaFn and UnitOfMeasure
(range MicroFn UnitOfMeasure) Merge.kif 6105-6105 range MicroFn and UnitOfMeasure
(range MilliFn UnitOfMeasure) Merge.kif 6091-6091 range MilliFn and UnitOfMeasure
(range NanoFn UnitOfMeasure) Merge.kif 6119-6119 range NanoFn and UnitOfMeasure
(range PicoFn UnitOfMeasure) Merge.kif 6134-6134 range PicoFn and UnitOfMeasure
(range SquareUnitFn UnitOfMeasure) Geography.kif 3754-3754 range SquareUnitFn and UnitOfMeasure
(range TeraFn UnitOfMeasure) Merge.kif 6077-6077 range TeraFn and UnitOfMeasure
(range UnitFn UnitOfMeasure) Merge.kif 6198-6198 range UnitFn and UnitOfMeasure
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5771-5771 subclass CompositeUnitOfMeasure and UnitOfMeasure
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5779-5779 subclass NonCompositeUnitOfMeasure and UnitOfMeasure
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 5801-5801 subclass SystemeInternationalUnit and UnitOfMeasure
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301 termFormat ChineseLanguage, UnitOfMeasure and "测量单位"
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1828-1828 termFormat EnglishLanguage, UnitOfMeasure and "unit of measure"

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


(domain GigaFn 1 UnitOfMeasure) Merge.kif 6062-6062 domain GigaFn, 1 and UnitOfMeasure
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6034-6034 domain KiloFn, 1 and UnitOfMeasure
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 5915-5915 domain MeasureFn, 2 and UnitOfMeasure
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6048-6048 domain MegaFn, 1 and UnitOfMeasure
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6104-6104 domain MicroFn, 1 and UnitOfMeasure
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6090-6090 domain MilliFn, 1 and UnitOfMeasure
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6118-6118 domain NanoFn, 1 and UnitOfMeasure
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6133-6133 domain PicoFn, 1 and UnitOfMeasure
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3753-3753 domain SquareUnitFn, 1 and UnitOfMeasure
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6076-6076 domain TeraFn, 1 and UnitOfMeasure
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 898-898 domain componentDataID, 4 and UnitOfMeasure
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 5715-5715 domain graphMeasure, 2 and UnitOfMeasure
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 838-838 domain unitMeasuringPerformance, 2 and UnitOfMeasure

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 UnitOfMeasure and UnitOfMeasure equal PhysicalQuantity and MeasureFn 1 and SquareUnitFn UnitOfMeasure equal PhysicalQuantity and MultiplicationFn MeasureFn 1 and UnitOfMeasure and MeasureFn 1 and UnitOfMeasure
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6069-6073
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))		 Merge.kif 6041-6045
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))		 Merge.kif 6055-6059
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))		 Merge.kif 6111-6115
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))		 Merge.kif 6097-6101
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))		 Merge.kif 6126-6130
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))		 Merge.kif 6141-6145
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (MagnitudeFn ?QUANT) ?NUMBER))		 Merge.kif 6189-6193
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))		 Merge.kif 6206-6210
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))		 Merge.kif 6083-6087
(=>
    (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 5993-6003
(=>
    (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