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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasure

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 6104-6109
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6127-6127 partition UnitOfMeasure, CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6102-6102 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 2093-2093 instance RevolutionsPerMinute and UnitOfMeasure
(range GigaFn UnitOfMeasure) Merge.kif 6401-6401 range GigaFn and UnitOfMeasure
(range KiloFn UnitOfMeasure) Merge.kif 6373-6373 range KiloFn and UnitOfMeasure
(range MegaFn UnitOfMeasure) Merge.kif 6387-6387 range MegaFn and UnitOfMeasure
(range MicroFn UnitOfMeasure) Merge.kif 6443-6443 range MicroFn and UnitOfMeasure
(range MilliFn UnitOfMeasure) Merge.kif 6429-6429 range MilliFn and UnitOfMeasure
(range NanoFn UnitOfMeasure) Merge.kif 6457-6457 range NanoFn and UnitOfMeasure
(range PicoFn UnitOfMeasure) Merge.kif 6472-6472 range PicoFn and UnitOfMeasure
(range SquareUnitFn UnitOfMeasure) Geography.kif 3887-3887 range SquareUnitFn and UnitOfMeasure
(range TeraFn UnitOfMeasure) Merge.kif 6415-6415 range TeraFn and UnitOfMeasure
(range UnitFn UnitOfMeasure) Merge.kif 6516-6516 range UnitFn and UnitOfMeasure
(subclass AcidityMeasure UnitOfMeasure) Mid-level-ontology.kif 9436-9436 subclass AcidityMeasure and UnitOfMeasure
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6111-6111 subclass CompositeUnitOfMeasure and UnitOfMeasure
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6119-6119 subclass NonCompositeUnitOfMeasure and UnitOfMeasure
(subclass SoundPressureLevelUnit UnitOfMeasure) Merge.kif 7353-7353 subclass SoundPressureLevelUnit and UnitOfMeasure
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6141-6141 subclass SystemeInternationalUnit and UnitOfMeasure
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1819-1819

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


(domain GigaFn 1 UnitOfMeasure) Merge.kif 6400-6400 domain GigaFn, 1 and UnitOfMeasure
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6372-6372 domain KiloFn, 1 and UnitOfMeasure
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6253-6253 domain MeasureFn, 2 and UnitOfMeasure
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6386-6386 domain MegaFn, 1 and UnitOfMeasure
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6442-6442 domain MicroFn, 1 and UnitOfMeasure
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6428-6428 domain MilliFn, 1 and UnitOfMeasure
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6456-6456 domain NanoFn, 1 and UnitOfMeasure
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6471-6471 domain PicoFn, 1 and UnitOfMeasure
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3886-3886 domain SquareUnitFn, 1 and UnitOfMeasure
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6414-6414 domain TeraFn, 1 and UnitOfMeasure
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 898-898 domain componentDataID, 4 and UnitOfMeasure
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6054-6054 domain graphMeasure, 2 and UnitOfMeasure
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 838-838 domain unitMeasuringPerformance, 2 and UnitOfMeasure

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


(=>
    (and
        (attribute ?FOOD1 FamilyStylePortion)
        (measure ?FOOD1
            (MeasureFn ?MEAS1 ?U))
        (not
            (attribute ?FOOD2 FamilyStylePortion))
        (measure ?FOOD2
            (MeasureFn ?MEAS2 ?U))
        (instance ?FOOD1 ?CLASS)
        (instance ?FOOD2 ?CLASS)
        (instance ?U UnitOfMeasure))
    (greaterThan ?MEAS1 ?MEAS2))
Dining.kif 1118-1129
(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (instance ?U UnitOfMeasure)
        (measure ?A1
            (MeasureFn ?A1M ?U))
        (measure ?A2
            (MeasureFn ?A2M ?U))
        (measure ?F1
            (MeasureFn ?F1M ?U))
        (measure ?F2
            (MeasureFn ?F2M ?U)))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))
Cars.kif 1314-1348
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2364-2383
(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6524-6530
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6407-6411
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 6379-6383
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 6393-6397
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))
Merge.kif 6449-6453
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6435-6439
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 6464-6468
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 6479-6483
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6421-6425
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumberAttribute)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN))
        (speedScaleAttributeMinMax ?BN
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?SPEED)
        (and
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED ?U))))))
Weather.kif 349-366
(=>
    (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.0))
    (not
        (located ?OBJ ?ZONE)))
Geography.kif 870-879
(=>
    (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.0))
    (located ?OBJ ?ZONE))
Geography.kif 859-868
(=>
    (and
        (speedScaleAttributeMinMax ?ATTR
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?X ?SPEED)
        (and
            (instance ?X Motion)
            (property ?X ?ATTR)
            (measure ?X
                (MeasureFn ?SPEED ?U))
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX))))
Weather.kif 2129-2142
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2727-2747
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 2749-2770
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure))
    (not
        (exists (?Observe ?A ?B ?D2)
            (and
                (instance ?Observe Looking)
                (agent ?Observe ?A)
                (patient ?Observe ?B)
                (orientation ?A ?B Horizontal)
                (during
                    (WhenFn ?Observe) ?Time)
                (eventLocated ?Observe ?Area)
                (distance ?A ?B
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?Distance)))))
Weather.kif 2708-2725

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


(=>
    (and
        (immediateInstance ?BIG ?CLASS)
        (immediateInstance ?NORMAL ?CLASS)
        (attribute ?BIG Oversized))
    (exists (?BIGSIZE ?NORMALSIZE ?U)
        (and
            (instance ?U UnitOfMeasure)
            (measure ?BIG
                (MeasureFn ?BIGSIZE ?U))
            (measure ?NORMAL
                (MeasureFn ?NORMALSIZE ?U))
            (greaterThan ?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1150-1162
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2277-2282


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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