TreeView Knowledge Base Browser

appearance as argument number 1

(documentation UnitOfVolume ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 VolumeMeasure 实例的 UnitOfMeasure。")	chinese_format.kif 2413-2414
(documentation UnitOfVolume EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of VolumeMeasure.")	Merge.kif 6286-6288
(documentation UnitOfVolume JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure であり、MeasureFn を使用して VolumeMeasure のインスタンスを形成できる。")	japanese_format.kif 1100-1101
(subclass UnitOfVolume CompositeUnitOfMeasure)	Merge.kif 6284-6284	子類 UnitOfVolume and CompositeUnitOfMeasure

appearance as argument number 2

(instance CubicFoot UnitOfVolume)	Mid-level-ontology.kif 13661-13661	例立方英尺 and UnitOfVolume
(instance Cup UnitOfVolume)	Merge.kif 7235-7235	例杯子 and UnitOfVolume
(instance LiquorShot UnitOfVolume)	Mid-level-ontology.kif 13704-13704	例酒射擊 and UnitOfVolume
(instance Liter UnitOfVolume)	Merge.kif 6770-6770	例升 and UnitOfVolume
(instance Ounce UnitOfVolume)	Merge.kif 7244-7244	例盎司 and UnitOfVolume
(instance Pint UnitOfVolume)	Merge.kif 7226-7226	例品脫 and UnitOfVolume
(instance Quart UnitOfVolume)	Merge.kif 7217-7217	例夸脫 and UnitOfVolume
(instance RegistryTon UnitOfVolume)	Mid-level-ontology.kif 13689-13689	例註冊表噸 and UnitOfVolume
(instance UnitedKingdomGallon UnitOfVolume)	Merge.kif 7253-7253	例英國加侖 and UnitOfVolume
(instance UnitedStatesGallon UnitOfVolume)	Merge.kif 7207-7207	例美國加侖 and UnitOfVolume
(termFormat EnglishLanguage UnitOfVolume "unit of volume")	domainEnglishFormat.kif 65664-65664

antecedent

(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2))	Mid-level-ontology.kif 17975-17986	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfVolume)) (instance ?QUANT VolumeMeasure))	Merge.kif 6377-6381	等於測量 RealNumber and UnitOfMeasure and PhysicalQuantity 例 UnitOfMeasure and UnitOfVolume 例 PhysicalQuantity and VolumeMeasure
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10082-10105	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10052-10073	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
(=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1))))))	Cars.kif 2794-2813	例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (maxCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V2 ?V1)))))	Cars.kif 1881-1900	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (eventLocated ?EC ?E) (instance ?U UnitOfVolume) (holdsDuring (WhenFn ?EC) (minCylinderVolume ?E (MeasureFn ?V1 ?U)))) (not (exists (?V2 ?T) (and (during ?T (WhenFn ?EC)) (holdsDuring ?T (measure ?CC (MeasureFn ?V2 ?U))) (greaterThan ?V1 ?V2)))))	Cars.kif 1851-1870	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=> (and (instance ?M OnePercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.01 ?N)))))	Food.kif 2969-2986	例 Object and OnePercentMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 0.01 and RealNumber
(=> (and (instance ?M SemiSkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.015 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 2993-3011	例 Object and SemiSkimmedMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.015 and RealNumber 小於或等於 RealNumber and 乘法 0.02 and RealNumber
(=> (and (instance ?M SkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.005 ?N)))))	Food.kif 3018-3036	例 Object and SkimmedMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.0 and RealNumber 小於或等於 RealNumber and 乘法 0.005 and RealNumber
(=> (and (instance ?M TwoPercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 2945-2962	例 Object and TwoPercentMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 乘法 0.02 and RealNumber
(=> (and (instance ?M WholeMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0325 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.05 ?N)))))	Food.kif 2851-2869	例 Object and WholeMilk 測量 Object and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfVolume Object RealNumber 例 Object and ButterFat 部分 Object and Object Object 例 Object and ButterFat 等於 Object and Object 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and 乘法 0.0325 and RealNumber 小於或等於 RealNumber and 乘法 0.05 and RealNumber
(=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2))	Cars.kif 1970-1982	例 Entity and SelfConnectedObject 例 Process and Compressing 患者 Process and Entity 持有期間不久的過去何時 Process and 測量 Entity and 測量 RealNumber and Entity 例 Entity and UnitOfVolume 持有期間眼前的未來何時 Process and 測量 Entity and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
(=> (and (instance ?WEARING Erosion) (instance ?LAND LandForm) (patient ?WEARING ?LAND) (instance ?U UnitOfVolume) (measure ?LAND (MeasureFn ?SIZE1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?WEARING)) (exists (?SIZE2) (and (measure ?LAND (MeasureFn ?SIZE2 ?U)) (lessThan ?SIZE2 ?SIZE1)))))	Geography.kif 2689-2702	例 Process and 侵蝕例 Physical and 土地形式患者 Process and Physical 例 UnitOfMeasure and UnitOfVolume 測量 Physical and 測量 RealNumber and UnitOfMeasure 持有期間眼前的未來何時 Process and entity 測量 Physical and 測量 entity and UnitOfMeasure 少於 entity and RealNumber

consequent

(=>
    (instance ?I Inflating)
    (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
        (and
            (instance ?G1 ?S)
            (instance ?G2 ?S)
            (instance ?S Substance)
            (attribute ?G1 Gas)
            (attribute ?G2 Gas)
            (instance ?U UnitOfVolume)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?I))
                (measure ?G1
                    (MeasureFn ?V1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?I))
                (measure ?G2
                    (MeasureFn ?V2 ?U)))
            (greaterThan ?V2 ?V1))))

Cars.kif 3591-3607

例 Physical and Inflating
Object Object, RealNumber, RealNumber, Class and Entity 例 Object and Class 例 Object and Class 例 Class and Substance attribute Object and 加油站 attribute Object and 加油站例 Entity and UnitOfVolume 持有期間不久的過去何時 Physical and 測量 Object and 測量 RealNumber and Entity 持有期間眼前的未來何時 Physical and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber

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: