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 "这是某些量䋞的量度标准。例如：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 6225-6230
(documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。　例えば、Meter は Inch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例：SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") japanese_format.kif 1074-1077
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6248-6248 测量单位 详尽无遗地 partition 成 CompositeUnitOfMeasure 和 NonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6223-6223 测量单位 是 物理量 的 subclass

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 853-853 拉德 是 测量单位 的 instance
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2077-2077 RevolutionsPerMinute 是 测量单位 的 instance
(range GigaFn UnitOfMeasure) Merge.kif 6522-6522 十亿倍函数 的 range 是 测量单位 的实例
(range KiloFn UnitOfMeasure) Merge.kif 6494-6494 千倍函数 的 range 是 测量单位 的实例
(range MegaFn UnitOfMeasure) Merge.kif 6508-6508 百万倍函数 的 range 是 测量单位 的实例
(range MicroFn UnitOfMeasure) Merge.kif 6564-6564 百万分之一函数 的 range 是 测量单位 的实例
(range MilliFn UnitOfMeasure) Merge.kif 6550-6550 千分之一函数 的 range 是 测量单位 的实例
(range NanoFn UnitOfMeasure) Merge.kif 6578-6578 十亿分之一函数 的 range 是 测量单位 的实例
(range PicoFn UnitOfMeasure) Merge.kif 6593-6593 万亿分之一函数 的 range 是 测量单位 的实例
(range SquareUnitFn UnitOfMeasure) Mid-level-ontology.kif 14969-14969 方形单位 的 range 是 测量单位 的实例
(range TeraFn UnitOfMeasure) Merge.kif 6536-6536 一万亿倍函数 的 range 是 测量单位 的实例
(range UnitFn UnitOfMeasure) Merge.kif 6637-6637 UnitFn 的 range 是 测量单位 的实例
(subclass AcidityMeasure UnitOfMeasure) Mid-level-ontology.kif 11197-11197 AcidityMeasure 是 测量单位 的 subclass
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6232-6232 CompositeUnitOfMeasure 是 测量单位 的 subclass
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6240-6240 NonCompositeUnitOfMeasure 是 测量单位 的 subclass
(subclass SoundPressureLevelUnit UnitOfMeasure) Merge.kif 7493-7493 SoundPressureLevelUnit 是 测量单位 的 subclass
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6262-6262 国际单位制 是 测量单位 的 subclass
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301 国际单位制 是 测量单位 的 subclass
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1819-1819 国际单位制 是 测量单位 的 subclass
(termFormat FrenchLanguage UnitOfMeasure "unit� de mesure") french_format.kif 979-979 国际单位制 是 测量单位 的 subclass
(termFormat Hindi UnitOfMeasure "maapaka ikaaI") terms-hindi.txt 514-514 国际单位制 是 测量单位 的 subclass
(termFormat ItalianLanguage UnitOfMeasure "Unit�DiMisura") terms-it.txt 518-518 国际单位制 是 测量单位 的 subclass
(termFormat JapaneseLanguage UnitOfMeasure "測定単位") japanese_format.kif 2663-2663 国际单位制 是 测量单位 的 subclass
(termFormat PortugueseLanguage UnitOfMeasure "Unidade de Medida") portuguese_format.kif 931-931 国际单位制 是 测量单位 的 subclass

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 6521-6521 十亿倍函数 的 1 数量 是 测量单位 的 instance
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6493-6493 千倍函数 的 1 数量 是 测量单位 的 instance
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6374-6374 计量函数 的 2 数量 是 测量单位 的 instance
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6507-6507 百万倍函数 的 1 数量 是 测量单位 的 instance
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6563-6563 百万分之一函数 的 1 数量 是 测量单位 的 instance
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6549-6549 千分之一函数 的 1 数量 是 测量单位 的 instance
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6577-6577 十亿分之一函数 的 1 数量 是 测量单位 的 instance
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6592-6592 万亿分之一函数 的 1 数量 是 测量单位 的 instance
(domain SquareUnitFn 1 UnitOfMeasure) Mid-level-ontology.kif 14968-14968 方形单位 的 1 数量 是 测量单位 的 instance
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6535-6535 一万亿倍函数 的 1 数量 是 测量单位 的 instance
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 1009-1009 组件数据ID 的 4 数量 是 测量单位 的 instance
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6175-6175 graphMeasure 的 2 数量 是 测量单位 的 instance
(domain mixtureRatio 5 UnitOfMeasure) Food.kif 1246-1246 mixtureRatio 的 5 数量 是 测量单位 的 instance
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 949-949 单位测量性能 的 2 数量 是 测量单位 的 instance

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 3194-3213
(=>
    (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 6645-6651
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6528-6532
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))		 Merge.kif 6500-6504
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))		 Merge.kif 6514-6518
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))		 Merge.kif 6570-6574
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))		 Merge.kif 6556-6560
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))		 Merge.kif 6585-6589
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))		 Merge.kif 6600-6604
(=>
    (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 6542-6546
(=>
    (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 1028-1037
(=>
    (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 1017-1026
(=>
    (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 2959-2972
(=>
    (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 3557-3577
(=>
    (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 3579-3600
(=>
    (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 3538-3555

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