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 6195-6200
(documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。　例えば、Meter は Inch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例：SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") japanese_format.kif 1074-1077
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6218-6218 劃分 UnitOfMeasure, CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity) Merge.kif 6193-6193 子類 UnitOfMeasure and PhysicalQuantity

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


(instance Rad UnitOfMeasure) MilitaryProcesses.kif 853-853 例 拉德 and UnitOfMeasure
(instance RevolutionsPerMinute UnitOfMeasure) Cars.kif 2076-2076 例 RevolutionsPerMinute and UnitOfMeasure
(range GigaFn UnitOfMeasure) Merge.kif 6492-6492 範圍 千兆 and UnitOfMeasure
(range KiloFn UnitOfMeasure) Merge.kif 6464-6464 範圍 千 and UnitOfMeasure
(range MegaFn UnitOfMeasure) Merge.kif 6478-6478 範圍 兆 and UnitOfMeasure
(range MicroFn UnitOfMeasure) Merge.kif 6534-6534 範圍 微 and UnitOfMeasure
(range MilliFn UnitOfMeasure) Merge.kif 6520-6520 範圍 毫 and UnitOfMeasure
(range NanoFn UnitOfMeasure) Merge.kif 6548-6548 範圍 奈米 and UnitOfMeasure
(range PicoFn UnitOfMeasure) Merge.kif 6563-6563 範圍 皮可 and UnitOfMeasure
(range SquareUnitFn UnitOfMeasure) Mid-level-ontology.kif 13848-13848 範圍 方形單位 and UnitOfMeasure
(range TeraFn UnitOfMeasure) Merge.kif 6506-6506 範圍 TERA and UnitOfMeasure
(range UnitFn UnitOfMeasure) Merge.kif 6607-6607 範圍 UnitFn and UnitOfMeasure
(subclass AcidityMeasure UnitOfMeasure) Mid-level-ontology.kif 10086-10086 子類 AcidityMeasure and UnitOfMeasure
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6202-6202 子類 CompositeUnitOfMeasure and UnitOfMeasure
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6210-6210 子類 NonCompositeUnitOfMeasure and UnitOfMeasure
(subclass SoundPressureLevelUnit UnitOfMeasure) Merge.kif 7463-7463 子類 SoundPressureLevelUnit and UnitOfMeasure
(subclass SystemeInternationalUnit UnitOfMeasure) Merge.kif 6232-6232 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat ChineseLanguage UnitOfMeasure "测量单位") chinese_format.kif 1301-1301 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat EnglishLanguage UnitOfMeasure "unit of measure") english_format.kif 1819-1819 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat FrenchLanguage UnitOfMeasure "unit� de mesure") french_format.kif 979-979 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat Hindi UnitOfMeasure "maapaka ikaaI") terms-hindi.txt 514-514 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat ItalianLanguage UnitOfMeasure "Unit�DiMisura") terms-it.txt 518-518 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat JapaneseLanguage UnitOfMeasure "測定単位") japanese_format.kif 2663-2663 子類 SystemeInternationalUnit and UnitOfMeasure
(termFormat PortugueseLanguage UnitOfMeasure "Unidade de Medida") portuguese_format.kif 931-931 子類 SystemeInternationalUnit and UnitOfMeasure

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 6491-6491 域 千兆, 1 and UnitOfMeasure
(domain KiloFn 1 UnitOfMeasure) Merge.kif 6463-6463 域 千, 1 and UnitOfMeasure
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6344-6344 域 測量, 2 and UnitOfMeasure
(domain MegaFn 1 UnitOfMeasure) Merge.kif 6477-6477 域 兆, 1 and UnitOfMeasure
(domain MicroFn 1 UnitOfMeasure) Merge.kif 6533-6533 域 微, 1 and UnitOfMeasure
(domain MilliFn 1 UnitOfMeasure) Merge.kif 6519-6519 域 毫, 1 and UnitOfMeasure
(domain NanoFn 1 UnitOfMeasure) Merge.kif 6547-6547 域 奈米, 1 and UnitOfMeasure
(domain PicoFn 1 UnitOfMeasure) Merge.kif 6562-6562 域 皮可, 1 and UnitOfMeasure
(domain SquareUnitFn 1 UnitOfMeasure) Mid-level-ontology.kif 13847-13847 域 方形單位, 1 and UnitOfMeasure
(domain TeraFn 1 UnitOfMeasure) Merge.kif 6505-6505 域 TERA, 1 and UnitOfMeasure
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 1006-1006 域 組件數據ID, 4 and UnitOfMeasure
(domain graphMeasure 2 UnitOfMeasure) Merge.kif 6145-6145 域 graphMeasure, 2 and UnitOfMeasure
(domain mixtureRatio 5 UnitOfMeasure) Food.kif 1245-1245 域 mixtureRatio, 5 and UnitOfMeasure
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 946-946 域 單位測量性能, 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 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 2348-2367
(=>
    (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 6615-6621
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?GIGAUNIT
            (GigaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?GIGAUNIT)
        (MeasureFn 1000000
            (KiloFn ?UNIT))))		 Merge.kif 6498-6502
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?KILOUNIT
            (KiloFn ?UNIT)))
    (equal
        (MeasureFn 1 ?KILOUNIT)
        (MeasureFn 1000 ?UNIT)))		 Merge.kif 6470-6474
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MEGAUNIT
            (MegaFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MEGAUNIT)
        (MeasureFn 1000000 ?UNIT)))		 Merge.kif 6484-6488
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MICROUNIT
            (MicroFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MICROUNIT)
        (MeasureFn 0.000001 ?UNIT)))		 Merge.kif 6540-6544
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?MILLIUNIT
            (MilliFn ?UNIT)))
    (equal
        (MeasureFn 1 ?MILLIUNIT)
        (MeasureFn 0.001 ?UNIT)))		 Merge.kif 6526-6530
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?NANOUNIT
            (NanoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?NANOUNIT)
        (MeasureFn 0.000000001 ?UNIT)))		 Merge.kif 6555-6559
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?PICOUNIT
            (PicoFn ?UNIT)))
    (equal
        (MeasureFn 1 ?PICOUNIT)
        (MeasureFn 0.000000000001 ?UNIT)))		 Merge.kif 6570-6574
(=>
    (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 13850-13861
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?TERAUNIT
            (TeraFn ?UNIT)))
    (equal
        (MeasureFn 1 ?TERAUNIT)
        (MeasureFn 1000000000
            (KiloFn ?UNIT))))		 Merge.kif 6512-6516
(=>
    (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 2113-2126
(=>
    (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 2711-2731
(=>
    (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 2733-2754
(=>
    (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 2692-2709

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
(=>
    (and
        (instance ?X MeasuringDevice)
        (attribute ?X ResetMeasuringDevice))
    (and
        (measurementReading ?X
            (MeasureFn 0 ?U))
        (instance ?U UnitOfMeasure)))		 Cars.kif 3003-3010
(=>
    (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