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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasure
UnitOfMeasureB, Bel, British_Imperial_System, British_capacity_unit, British_system, Calorie, Ci, English_system, Erlang, G, GB, Gb, Gbit, Gi, GiB, Imperial_capacity_unit, L, Mercalli_scale, Mohs_scale, Mx, R, REM, Reaumur_scale, Richter_scale, STP, TB, TDT, TT, Tb, Tbit, TiB, Unidade_de_Medida, United_States_Customary_System, United_States_liquid_unit, Unit�DiMisura, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour...

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


(documentation UnitOfMeasure ChineseLanguage "这是某些量䋞的量度标准。例如:MeterInch 是长度的 UnitOfMeasureUnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如: SystemeInternationalUnit)可决定一组的正交维度,并给每一个维度分配单位。") Merge.kif 6327-6329
(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 6321-6326
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6349-6349
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6320-6320

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 842-842
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2079-2079
(range GigaFn UnitOfMeasure) Merge.kif 6648-6648
(range KiloFn UnitOfMeasure) Merge.kif 6616-6616
(range MegaFn UnitOfMeasure) Merge.kif 6632-6632
(range MicroFn UnitOfMeasure) Merge.kif 6696-6696
(range MilliFn UnitOfMeasure) Merge.kif 6680-6680
(range NanoFn UnitOfMeasure) Merge.kif 6712-6712
(range PicoFn UnitOfMeasure) Merge.kif 6729-6729
(range SquareUnitFn UnitOfMeasure) Geography.kif 3741-3741
(range TeraFn UnitOfMeasure) Merge.kif 6664-6664
(range UnitFn UnitOfMeasure) Merge.kif 6801-6801
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6331-6331
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6340-6340
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6364-6364
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 988-988
(termFormat FrenchLanguage UnitOfMeasure "unit� de mesure") french_format.kif 979-979
(termFormat Hindi UnitOfMeasure "maapaka ikaaI") terms-hindi.txt 514-514
(termFormat ItalianLanguage UnitOfMeasure "Unit�DiMisura") terms-it.txt 516-516
(termFormat PortugueseLanguage UnitOfMeasure "Unidade de Medida") portuguese_format.kif 931-931
(termFormat cb UnitOfMeasure "usa ka sukod") terms-cb.txt 520-520
(termFormat cz UnitOfMeasure "unit of measure") terms-cz.txt 554-554
(termFormat tg UnitOfMeasure "batayang sukat") terms-tg.txt 519-519

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


(domain GigaFn 1 UnitOfMeasure) Merge.kif 6647-6647
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6615-6615
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6491-6491
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6631-6631
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6695-6695
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6679-6679
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6711-6711
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6728-6728
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3740-3740
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6663-6663
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 873-873
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6275-6275
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 813-813

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 6656-6660
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 6624-6628
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 6640-6644
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))
Merge.kif 6704-6708
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6688-6692
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 6721-6725
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 6738-6742
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (MagnitudeFn ?QUANT) ?NUMBER))
Merge.kif 6792-6796
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6813-6817
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6672-6676
(=>
    (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 BinaryRelation)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber)
        (?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
        (=>
            (instance ?UNIT UnitOfMeasure)
            (?REL
                (MeasureFn ?NUMBER1 ?UNIT)
                (MeasureFn ?NUMBER2 ?UNIT)))))
Merge.kif 6572-6582
(=>
    (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