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 6340-6342
(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 6334-6339
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6362-6362
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6333-6333

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 842-842
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2079-2079
(range GigaFn UnitOfMeasure) Merge.kif 6661-6661
(range KiloFn UnitOfMeasure) Merge.kif 6629-6629
(range MegaFn UnitOfMeasure) Merge.kif 6645-6645
(range MicroFn UnitOfMeasure) Merge.kif 6709-6709
(range MilliFn UnitOfMeasure) Merge.kif 6693-6693
(range NanoFn UnitOfMeasure) Merge.kif 6725-6725
(range PicoFn UnitOfMeasure) Merge.kif 6742-6742
(range SquareUnitFn UnitOfMeasure) Geography.kif 3741-3741
(range TeraFn UnitOfMeasure) Merge.kif 6677-6677
(range UnitFn UnitOfMeasure) Merge.kif 6814-6814
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6344-6344
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6353-6353
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6377-6377
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 988-988

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


(domain GigaFn 1 UnitOfMeasure) Merge.kif 6660-6660
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6628-6628
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6504-6504
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6644-6644
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6708-6708
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6692-6692
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6724-6724
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6741-6741
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3740-3740
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6676-6676
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 888-888
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6288-6288
(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 6669-6673
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 6637-6641
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 6653-6657
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))
Merge.kif 6717-6721
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6701-6705
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 6734-6738
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 6751-6755
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (MagnitudeFn ?QUANT) ?NUMBER))
Merge.kif 6805-6809
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6826-6830
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6685-6689
(=>
    (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 6585-6595
(=>
    (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