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

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 853-853 Rad ist ein fall von UnitOfMeasure %n{nicht}
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2093-2093 RevolutionsPerMinute ist ein fall von UnitOfMeasure %n{nicht}
(range GigaFn UnitOfMeasure) Merge.kif 6497-6497 bildbereich von GigaFn ist ein fall von UnitOfMeasure {nicht}
(range KiloFn UnitOfMeasure) Merge.kif 6469-6469 bildbereich von KiloFn ist ein fall von UnitOfMeasure {nicht}
(range MegaFn UnitOfMeasure) Merge.kif 6483-6483 bildbereich von MegaFn ist ein fall von UnitOfMeasure {nicht}
(range MicroFn UnitOfMeasure) Merge.kif 6539-6539 bildbereich von MicroFn ist ein fall von UnitOfMeasure {nicht}
(range MilliFn UnitOfMeasure) Merge.kif 6525-6525 bildbereich von MilliFn ist ein fall von UnitOfMeasure {nicht}
(range NanoFn UnitOfMeasure) Merge.kif 6553-6553 bildbereich von NanoFn ist ein fall von UnitOfMeasure {nicht}
(range PicoFn UnitOfMeasure) Merge.kif 6568-6568 bildbereich von PicoFn ist ein fall von UnitOfMeasure {nicht}
(range SquareUnitFn UnitOfMeasure) Geography.kif 3965-3965 bildbereich von SquareUnitFn ist ein fall von UnitOfMeasure {nicht}
(range TeraFn UnitOfMeasure) Merge.kif 6511-6511 bildbereich von TeraFn ist ein fall von UnitOfMeasure {nicht}
(range UnitFn UnitOfMeasure) Merge.kif 6612-6612 bildbereich von UnitFn ist ein fall von UnitOfMeasure {nicht}
(subclass AcidityMeasure UnitOfMeasure) Mid-level-ontology.kif 9868-9868 AcidityMeasure ist eine teilkategorie von UnitOfMeasure
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6207-6207 CompositeUnitOfMeasure ist eine teilkategorie von UnitOfMeasure
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6215-6215 NonCompositeUnitOfMeasure ist eine teilkategorie von UnitOfMeasure
(subclass SoundPressureLevelUnit UnitOfMeasure) Merge.kif 7449-7449 SoundPressureLevelUnit ist eine teilkategorie von UnitOfMeasure
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6237-6237 SystemeInternationalUnit ist eine teilkategorie von UnitOfMeasure
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1819-1819
(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 518-518
(termFormat JapaneseLanguage UnitOfMeasure "測定単位") japanese_format.kif 2663-2663
(termFormat PortugueseLanguage UnitOfMeasure "Unidade de Medida") portuguese_format.kif 931-931

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain GigaFn 1 UnitOfMeasure) Merge.kif 6496-6496 Die Zahl 1 Argument von GigaFn ist ein fall von UnitOfMeasure %n{nicht}
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6468-6468 Die Zahl 1 Argument von KiloFn ist ein fall von UnitOfMeasure %n{nicht}
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6349-6349 Die Zahl 2 Argument von MeasureFn ist ein fall von UnitOfMeasure %n{nicht}
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6482-6482 Die Zahl 1 Argument von MegaFn ist ein fall von UnitOfMeasure %n{nicht}
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6538-6538 Die Zahl 1 Argument von MicroFn ist ein fall von UnitOfMeasure %n{nicht}
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6524-6524 Die Zahl 1 Argument von MilliFn ist ein fall von UnitOfMeasure %n{nicht}
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6552-6552 Die Zahl 1 Argument von NanoFn ist ein fall von UnitOfMeasure %n{nicht}
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6567-6567 Die Zahl 1 Argument von PicoFn ist ein fall von UnitOfMeasure %n{nicht}
(domain SquareUnitFn 1 UnitOfMeasure) Geography.kif 3964-3964 Die Zahl 1 Argument von SquareUnitFn ist ein fall von UnitOfMeasure %n{nicht}
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6510-6510 Die Zahl 1 Argument von TeraFn ist ein fall von UnitOfMeasure %n{nicht}
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 900-900 Die Zahl 4 Argument von componentDataID ist ein fall von UnitOfMeasure %n{nicht}
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6150-6150 Die Zahl 2 Argument von graphMeasure ist ein fall von UnitOfMeasure %n{nicht}
(domain mixtureRatio 5 UnitOfMeasure) Food.kif 1245-1245 Die Zahl 5 Argument von mixtureRatio ist ein fall von UnitOfMeasure %n{nicht}
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 840-840 Die Zahl 2 Argument von unitMeasuringPerformance ist ein fall von UnitOfMeasure %n{nicht}

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 1165-1176
(=>
    (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 2365-2384
(=>
    (and
        (instance ?M Mixture)
        (instance ?Z UnitOfMeasure)
        (mixtureRatio ?A ?B ?X ?Y ?Z)
        (measure ?M
            (MeasureFn ?T ?Z))
        (part ?A ?M)
        (part ?B ?M)
        (measure ?A
            (MeasureFn ?X ?Z))
        (measure ?B
            (MeasureFn ?Y ?Z)))
    (equal ?T
        (AdditionFn ?X ?Y)))
Food.kif 1248-1262
(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6620-6626
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))
Merge.kif 6503-6507
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))
Merge.kif 6475-6479
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))
Merge.kif 6489-6493
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))
Merge.kif 6545-6549
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))
Merge.kif 6531-6535
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))
Merge.kif 6560-6564
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))
Merge.kif 6575-6579
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))
Merge.kif 6517-6521
(=>
    (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 863-872
(=>
    (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 852-861
(=>
    (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 2130-2143
(=>
    (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 2728-2748
(=>
    (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 2750-2771
(=>
    (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 2709-2726

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 1172-1184
(=>
    (codeMapping ISO-4217-A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))
Media.kif 2286-2291


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 3.0 is open source software produced by Articulate Software and its partners