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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasure
UnitOfMeasure(unit� de mesure)

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 6210-6215
(documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。　例えば、Meter は Inch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例：SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") japanese_format.kif 1074-1077
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6233-6233 Unit� de mesure est compl�tement d�compos� en CompositeUnitOfMeasure + NonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6208-6208 Unit� de mesure est une sous-classe de quantit� physique

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 853-853 Rad est une instance de unit� de mesure
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2077-2077 RevolutionsPerMinute est une instance de unit� de mesure
(range GigaFn UnitOfMeasure) Merge.kif 6507-6507 Le domaine de GigaFn est une instance de unit� de mesure
(range KiloFn UnitOfMeasure) Merge.kif 6479-6479 Le domaine de KiloFn est une instance de unit� de mesure
(range MegaFn UnitOfMeasure) Merge.kif 6493-6493 Le domaine de MegaFn est une instance de unit� de mesure
(range MicroFn UnitOfMeasure) Merge.kif 6549-6549 Le domaine de MicroFn est une instance de unit� de mesure
(range MilliFn UnitOfMeasure) Merge.kif 6535-6535 Le domaine de MilliFn est une instance de unit� de mesure
(range NanoFn UnitOfMeasure) Merge.kif 6563-6563 Le domaine de NanoFn est une instance de unit� de mesure
(range PicoFn UnitOfMeasure) Merge.kif 6578-6578 Le domaine de PicoFn est une instance de unit� de mesure
(range SquareUnitFn UnitOfMeasure) Mid-level-ontology.kif 14969-14969 Le domaine de SquareUnitFn est une instance de unit� de mesure
(range TeraFn UnitOfMeasure) Merge.kif 6521-6521 Le domaine de TeraFn est une instance de unit� de mesure
(range UnitFn UnitOfMeasure) Merge.kif 6622-6622 Le domaine de UnitFn est une instance de unit� de mesure
(subclass AcidityMeasure UnitOfMeasure) Mid-level-ontology.kif 11197-11197 AcidityMeasure est une sous-classe de unit� de mesure
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6217-6217 CompositeUnitOfMeasure est une sous-classe de unit� de mesure
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6225-6225 NonCompositeUnitOfMeasure est une sous-classe de unit� de mesure
(subclass SoundPressureLevelUnit UnitOfMeasure) Merge.kif 7478-7478 SoundPressureLevelUnit est une sous-classe de unit� de mesure
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6247-6247 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1819-1819 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat FrenchLanguage UnitOfMeasure "unit� de mesure") french_format.kif 979-979 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat Hindi UnitOfMeasure "maapaka ikaaI") terms-hindi.txt 514-514 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat ItalianLanguage UnitOfMeasure "Unit�DiMisura") terms-it.txt 518-518 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat JapaneseLanguage UnitOfMeasure "測定単位") japanese_format.kif 2663-2663 Syst�me d'unit� international est une sous-classe de unit� de mesure
(termFormat PortugueseLanguage UnitOfMeasure "Unidade de Medida") portuguese_format.kif 931-931 Syst�me d'unit� international est une sous-classe de unit� de mesure

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 6506-6506 Le nombre 1 argument de GigaFn est une instance de unit� de mesure
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6478-6478 Le nombre 1 argument de KiloFn est une instance de unit� de mesure
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6359-6359 Le nombre 2 argument de MeasureFn est une instance de unit� de mesure
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6492-6492 Le nombre 1 argument de MegaFn est une instance de unit� de mesure
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6548-6548 Le nombre 1 argument de MicroFn est une instance de unit� de mesure
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6534-6534 Le nombre 1 argument de MilliFn est une instance de unit� de mesure
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6562-6562 Le nombre 1 argument de NanoFn est une instance de unit� de mesure
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6577-6577 Le nombre 1 argument de PicoFn est une instance de unit� de mesure
(domain SquareUnitFn 1 UnitOfMeasure) Mid-level-ontology.kif 14968-14968 Le nombre 1 argument de SquareUnitFn est une instance de unit� de mesure
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6520-6520 Le nombre 1 argument de TeraFn est une instance de unit� de mesure
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 1009-1009 Le nombre 4 argument de componentDataID est une instance de unit� de mesure
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6160-6160 Le nombre 2 argument de graphMeasure est une instance de unit� de mesure
(domain mixtureRatio 5 UnitOfMeasure) Food.kif 1246-1246 Le nombre 5 argument de mixtureRatio est une instance de unit� de mesure
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 949-949 Le nombre 2 argument de unitMeasuringPerformance est une instance de unit� de mesure

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 2881-2900
(=>
    (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 1249-1263
(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))		 Merge.kif 6630-6636
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6513-6517
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))		 Merge.kif 6485-6489
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))		 Merge.kif 6499-6503
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))		 Merge.kif 6555-6559
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))		 Merge.kif 6541-6545
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))		 Merge.kif 6570-6574
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))		 Merge.kif 6585-6589
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?SQUAREUNIT
            (SquareUnitFn ?UNIT)))
    (exists (?NUM)
        (and
            (instance ?NUM RealNumber)
            (equal
                (MeasureFn ?NUM ?SQUAREUNIT)
                (MeasureFn
                    (MultiplicationFn ?NUM ?NUM) ?UNIT)))))		 Mid-level-ontology.kif 14971-14982
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))		 Merge.kif 6527-6531
(=>
    (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 337-354
(=>
    (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 858-867
(=>
    (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 847-856
(=>
    (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 2646-2659
(=>
    (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 3244-3264
(=>
    (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 3266-3287
(=>
    (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 3225-3242

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 1180-1192
(=>
    (and
        (instance ?X MeasuringDevice)
        (attribute ?X ResetMeasuringDevice))
    (and
        (measurementReading ?X
            (MeasureFn 0 ?U))
        (instance ?U UnitOfMeasure)))		 Cars.kif 3004-3011
(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2288-2293


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