TreeView Knowledge Base Browser - CompositeUnitOfMeasure

appearance as argument number 1

(documentation CompositeUnitOfMeasure ChineseLanguage "这是由其他单位的复合函数所决定的 UnitsOfMeasure Class 的实例，当中的每一个可以是一个 CompositeUnitOfMeasure 或是一个 NonCompositeUnitOfMeasure。")	chinese_format.kif 2397-2399
(documentation CompositeUnitOfMeasure EnglishLanguage "Instances of this Class are UnitsOfMeasure defined by the functional composition of other units, each of which might be a CompositeUnitOfMeasure or a NonCompositeUnitOfMeasure.")	Merge.kif 6211-6214
(documentation CompositeUnitOfMeasure JapaneseLanguage "この Class のインスタンスは、他のユニットの機能構成によって定義される %UnitsOfMeasure であり、それぞれが CompositeUnitOfMeasure または NonCompositeUnitOfMeasure である可能性がある。")	japanese_format.kif 1078-1080
(subclass CompositeUnitOfMeasure FunctionQuantity)	Merge.kif 6209-6209	子類 CompositeUnitOfMeasure and FunctionQuantity
(subclass CompositeUnitOfMeasure UnitOfMeasure)	Merge.kif 6208-6208	子類 CompositeUnitOfMeasure and UnitOfMeasure

appearance as argument number 2

(instance Ampere CompositeUnitOfMeasure)	Merge.kif 6721-6721	例安培 and CompositeUnitOfMeasure
(instance Becquerel CompositeUnitOfMeasure)	Merge.kif 7041-7041	例貝克勒爾 and CompositeUnitOfMeasure
(instance BitsPerSecond CompositeUnitOfMeasure)	QoSontology.kif 238-238	例每秒位數 and CompositeUnitOfMeasure
(instance BritishThermalUnit CompositeUnitOfMeasure)	Merge.kif 7350-7350	例英國熱量單位 and CompositeUnitOfMeasure
(instance Calorie CompositeUnitOfMeasure)	Merge.kif 7342-7342	例卡路里 and CompositeUnitOfMeasure
(instance Candela CompositeUnitOfMeasure)	Merge.kif 6760-6760	例坎德拉 and CompositeUnitOfMeasure
(instance Coulomb CompositeUnitOfMeasure)	Merge.kif 6913-6913	例庫侖 and CompositeUnitOfMeasure
(instance ElectronVolt CompositeUnitOfMeasure)	Merge.kif 7156-7156	例電子伏特 and CompositeUnitOfMeasure
(instance Farad CompositeUnitOfMeasure)	Merge.kif 6938-6938	例法拉 and CompositeUnitOfMeasure
(instance Gray CompositeUnitOfMeasure)	Merge.kif 7055-7055	例戈瑞 and CompositeUnitOfMeasure
(instance Henry CompositeUnitOfMeasure)	Merge.kif 6991-6991	例亨利 and CompositeUnitOfMeasure
(instance Horsepower CompositeUnitOfMeasure)	Merge.kif 6899-6899	例馬力 and CompositeUnitOfMeasure
(instance InstructionsPerSecond CompositeUnitOfMeasure)	QoSontology.kif 254-254	例 InstructionsPerSecond and CompositeUnitOfMeasure
(instance Joule CompositeUnitOfMeasure)	Merge.kif 6880-6880	例焦耳 and CompositeUnitOfMeasure
(instance KilowattHour CompositeUnitOfMeasure)	Economy.kif 2000-2000	例千瓦時 and CompositeUnitOfMeasure
(instance KnotUnitOfSpeed CompositeUnitOfMeasure)	Geography.kif 3924-3924	例結速度單位 and CompositeUnitOfMeasure
(instance Lumen CompositeUnitOfMeasure)	Merge.kif 7019-7019	例流明 and CompositeUnitOfMeasure
(instance Lux CompositeUnitOfMeasure)	Merge.kif 7029-7029	例勒克司 and CompositeUnitOfMeasure
(instance McgPerKg CompositeUnitOfMeasure)	WMD.kif 812-812	例 McgPerKg and CompositeUnitOfMeasure
(instance MilesPerHour CompositeUnitOfMeasure)	Weather.kif 1683-1683	例 MilesPerHour and CompositeUnitOfMeasure
(instance Newton CompositeUnitOfMeasure)	Merge.kif 6862-6862	例牛頓 and CompositeUnitOfMeasure
(instance Ohm CompositeUnitOfMeasure)	Merge.kif 6949-6949	例歐姆 and CompositeUnitOfMeasure
(instance PacketsPerSecond CompositeUnitOfMeasure)	QoSontology.kif 246-246	例每秒數據包 and CompositeUnitOfMeasure
(instance Pascal CompositeUnitOfMeasure)	Merge.kif 6871-6871	例帕斯卡 and CompositeUnitOfMeasure
(instance PoundForce CompositeUnitOfMeasure)	Merge.kif 7330-7330	例磅力 and CompositeUnitOfMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 13563-13572	Object 的 maximum 預期價值是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 比較多 RealNumberUANTITY and RealNumber and 較不可能
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely))	Mid-level-ontology.kif 13593-13602	Object 的預期 value 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 比較多 RealNumberUANTITY and 乘法 RealNumber and 1.5 and 較不可能
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely))	Mid-level-ontology.kif 13604-13613	Object 的預期 value 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 少於 RealNumberUANTITY and 乘法 RealNumber and .5 and 較不可能
(=> (and (defaultMinimumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 13532-13541	Object 的 minimum 預期價值是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 模態屬性 entity RealNumberUANTITY 例 entity and Object 測量 entity and 測量 RealNumberUANTITY and UnitOfMeasure 少於 RealNumberUANTITY and RealNumber and 較不可能
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure))	Merge.kif 6456-6460	例 Entity and UnitOfMeasureMultiplier 例 Entity and CompositeUnitOfMeasure 例 Entity Entity and CompositeUnitOfMeasure
(=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity))	Merge.kif 6226-6230	例 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 例 Entity and FunctionQuantity
(=> (and (topSpeed ?V (MeasureFn ?Q ?CU)) (instance ?CU CompositeUnitOfMeasure) (instance ?UL UnitOfLength) (instance ?UD UnitOfDuration) (equal ?FASTPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L1 ?UL) (MeasureFn ?T1 ?UD))))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L2 ?UL) (MeasureFn ?T2 ?UD))))) (greaterThan (SpeedFn ?L1 ?T1) ?Q) (greaterThan ?Q (SpeedFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB))	Transportation.kif 1718-1736	車輛的 top speed 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and CompositeUnitOfMeasure 例 Entity and UnitOfLength 例 Entity and UnitOfDuration 等於 RealNumber and 可能性測量車輛 and 速度測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 等於 RealNumber and 可能性測量車輛 and 速度測量 LengthMeasure and Entity and 測量 TimeDuration and Entity 比較多速度 LengthMeasure and TimeDuration and RealNumber 比較多 RealNumber and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber

consequent

(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))

Merge.kif 6456-6460

例 Entity and UnitOfMeasureMultiplier 例 Entity and CompositeUnitOfMeasure
例 Entity Entity and CompositeUnitOfMeasure

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

KB Term:			Term intersection

English Word: