(=>     (and         (holdsDuring ?T             (attribute ?H                 (ImpairedBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (modalAttribute         (not ?F) Likely))	Merge.kif 18247-18257	持有期間 TimePosition and attribute Object and ImpairedBodyPartFn Class 例 ClassI and Class 部分 ClassI and Object 有目的 ClassI and Formula 模態屬性 Formula and 容易
(=>     (and         (holdsDuring ?T             (measure ?C ?S))         (engineIdleSpeed ?E ?S)         (instance ?A Automobile)         (part ?E ?A)         (part ?C ?E))     (modalAttribute         (not             (exists (?P ?GP)                 (and                     (during ?P ?T)                     (instance ?P Pushing)                     (destination ?P ?GP)                     (part ?GP ?A)))) Likely))	Cars.kif 2573-2589	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車 部分 內燃機 and Object 部分 Object and 內燃機 模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
(=>     (and         (holdsDuring ?T             (possesses ?PERSON ?OBJ))         (part ?P ?OBJ))     (holdsDuring ?T         (possesses ?PERSON ?P)))	Merge.kif 4257-4263	持有期間 TimePosition and 擁有 entity and Object 部分 Object and Object 持有期間 TimePosition and 擁有 entity and Object
(=>     (and         (hole ?HOLE ?OBJ1)         (part ?OBJ1 ?OBJ2))     (or         (overlapsSpatially ?HOLE ?OBJ2)         (hole ?HOLE ?OBJ2)))	Merge.kif 9925-9931	hole HoleRegion and SelfConnectedObject 部分 SelfConnectedObject and SelfConnectedObject 在空間上重疊 HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject
(=>     (and         (instance ?A             (BodyAreaFn ?OC))         (instance ?H Animal)         (part ?A ?H))     (exists (?O)         (and             (instance ?O ?OC)             (orientation ?A ?O Near)             (part ?O ?H))))	Medicine.kif 6237-6246	例 Object and BodyAreaFn BodyPart 例 Object and Animal 部分 Object and Object Object 例 Object and BodyPart 方位 Object, Object and 近 部分 Object and Object
(=>     (and         (instance ?A AegilopsGrass)         (part ?C ?A)         (instance ?C ?CLASS))     (subclass ?CLASS DiploidCell))	Economy.kif 3840-3845	例 Object and AegilopsGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and DiploidCell
(=>     (and         (instance ?A Americano)         (part ?E ?A)         (part ?W ?A)         (instance ?E Espresso)         (instance ?W DrinkingWater)         (measure ?W             (MeasureFn 90.0 CelsiusDegree))         (mixtureRatio ?E ?W ?V1 ?V2 Liter))     (and         (approximateValue ?V1 0.03)         (approximateValue ?V2 0.15)))	Food.kif 1321-1332	例 Object and Americano 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and 飲用水 測量 Substance and 測量 90.0 and 攝氏度 mixtureRatio Substance, Substance, RealNumber, RealNumber and 升 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15
(=>     (and         (instance ?A Animal)         (instance ?S AnimalShell)         (part ?S ?A))     (or         (instance ?A Invertebrate)         (instance ?A Reptile)))	Mid-level-ontology.kif 11530-11537	例 Object and Animal 例 Object and 動物殼 部分 Object and Object 例 Object and Invertebrate 例 Object and Reptile
(=>     (and         (instance ?A Antacid)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?A)         (instance ?S Stomach)         (part ?S ?H)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?I))             (and                 (contains ?S ?F1)                 (instance ?F1 Fluid)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?I))             (and                 (contains ?S ?F2)                 (instance ?F2 Fluid)))         (phMeasure ?F1 ?N1)         (phMeasure ?F2 ?N2))     (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9838-9860	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃 部分 Object and AutonomousAgent 持有期間 不久的過去 何時 Motion and 包含 Object and Object 例 Object and 流體 持有期間 眼前的未來 何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
(=>     (and         (instance ?A AntibodyCOVIDTest)         (instrument ?M ?A)         (instance ?M Measuring)         (patient ?M ?H)         (instance ?CA COVIDAntibody)         (part ?CA ?H))     (modalAttribute         (knows ?H             (exists (?CA)                 (and                     (instance ?CA COVIDAntibody)                     (part ?CA ?H)))) Likely))	Medicine.kif 2763-2777	例 Object and AntibodyCOVIDTest 儀器 Process and Object 例 Process and Measuring 患者 Process and Object 例 Object and COVIDAntibody 部分 Object and Object 模態屬性 知道 Object and Object 例 Object and COVIDAntibody 部分 Object and Object and 容易
(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (exists (?MAINTAINING)             (and                 (instance ?MAINTAINING Maintaining)                 (instrument ?MAINTAINING ?A)                 (experiencer ?MAINTAINING ?OBJ)))))	MilitaryDevices.kif 1619-1630	例 Object and 盔甲 部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (not             (exists (?DAMAGING)                 (and                     (instance ?DAMAGING Damaging)                     (instrument ?DAMAGING ?A)                     (experiencer ?DAMAGING ?OBJ))))))	MilitaryDevices.kif 1632-1644	例 Object and 盔甲 部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
(=>     (and         (instance ?A LocalAnesthetizing)         (located ?A ?BP)         (instance ?BP BodyPart)         (part ?BP ?P)         (patient ?A ?P))     (holdsDuring         (WhenFn ?A)         (not             (attribute ?P                 (PainFn ?BP)))))	Medicine.kif 1008-1019	例 Process and LocalAnesthetizing 位於 Process and Object 例 Object and BodyPart 部分 Object and Object 患者 Process and Object 持有期間 何時 Process and attribute Object and PainFn Object
(=>     (and         (instance ?A ProtonPumpInhibitor)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?A)         (instance ?S Stomach)         (part ?S ?H)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?I))             (and                 (contains ?S ?F1)                 (instance ?F1 Fluid)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?I))             (and                 (contains ?S ?F2)                 (instance ?F2 Fluid)))         (phMeasure ?F1 ?N1)         (phMeasure ?F2 ?N2))     (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9899-9921	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃 部分 Object and AutonomousAgent 持有期間 不久的過去 何時 Motion and 包含 Object and Object 例 Object and 流體 持有期間 眼前的未來 何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
(=>     (and         (instance ?A1 Automobile)         (instance ?A2 Automobile)         (instance ?S1 AutomobileShock)         (part ?S1 ?A1)         (not             (exists (?S2)                 (and                     (instance ?S2 AutomobileShock)                     (part ?S2 ?A2))))         (dampingRatio ?A1 ?R1)         (dampingRatio ?A2 ?R2))     (greaterThan ?R2 ?R1))	Cars.kif 853-866	例 物理系統 and 汽車 例 物理系統 and 汽車 例 Object and AutomobileShock 部分 Object and 物理系統 Object 例 Object and AutomobileShock 部分 Object and 物理系統 dampingRatio 物理系統 and RealNumber dampingRatio 物理系統 and RealNumber 比較多 RealNumber and RealNumber
(=>     (and         (instance ?ANIMAL Animal)         (instance ?SKELETON Exoskeleton)         (part ?SKELETON ?ANIMAL))     (instance ?ANIMAL Invertebrate))	Mid-level-ontology.kif 11674-11679	例 Object and Animal 例 Object and 外骨骼 部分 Object and Object 例 Object and Invertebrate
(=>     (and         (instance ?ANIMAL Animal)         (instance ?SKELETON Skeleton)         (part ?SKELETON ?ANIMAL))     (instance ?ANIMAL Vertebrate))	Mid-level-ontology.kif 11654-11659	例 Object and Animal 例 Object and 骨架 部分 Object and Object 例 Object and Vertebrate
(=>     (and         (instance ?AS AirStream)         (part ?AIR ?AS))     (attribute ?AR Gas))	Weather.kif 69-73	例 Object and 氣流 部分 Object and Object attribute Object and 加油站
(=>     (and         (instance ?Application AutomaticApplication)         (instance ?System SoftwareSystem)         (part ?Application ?System))     (part         (StartupFn ?Application)         (StartupFn ?System)))	QoSontology.kif 586-591	例 Object and 自動申請 例 Object and 軟件系統 部分 Object and Object 部分 Object 的 startup and Object 的 startup
(=>     (and         (instance ?B Breast)         (instance ?H Human)         (part ?B ?H))     (part ?B         (FrontFn ?H)))	Mid-level-ontology.kif 12847-12853	例 Object and 乳房 例 SelfConnectedObject and Human 部分 Object and SelfConnectedObject 部分 Object and 面前 SelfConnectedObject
(=>     (and         (instance ?B Breast)         (part ?B ?H))     (attribute ?B Female))	Mid-level-ontology.kif 12858-12862	例 Object and 乳房 部分 Object and Object attribute Object and 女
(=>     (and         (instance ?B Brine)         (measure ?B             (MeasureFn 1.0 Liter))         (part ?SALT ?B)         (instance ?SALT SodiumChloride)         (measure ?SALT             (MeasureFn ?R Gram)))     (and         (greaterThan ?R 35.0)         (lessThanOrEqualTo ?R 260.0)))	Geography.kif 2873-2884	例 Object and Brine 測量 Object and 測量 1.0 and 升 部分 Object and Object 例 Object and 鹽 測量 Object and 測量 RealNumber and 公克 比較多 RealNumber and 35.0 小於或等於 RealNumber and 260.0
(=>     (and         (instance ?B VehicleBrake)         (instance ?V Vehicle)         (part ?B ?V))     (hasPurpose ?B         (exists (?S)             (and                 (instance ?S                     (StopFn Motion))                 (patient ?S ?V)                 (instrument ?S ?B)))))	Mid-level-ontology.kif 3416-3426	例 Object and 車輛制動器 例 Object and 車輛 部分 Object and Object 有目的 Object and entity 例 entity and Motion 的 stop 患者 entity and Object 儀器 entity and Object
(=>     (and         (instance ?BODY ReproductiveBody)         (part ?BODY ?ORG)         (instance ?ORG Organism))     (attribute ?ORG Female))	Merge.kif 18139-18144	例 Object and ReproductiveBody 部分 Object and Object 例 Object and Organism attribute Object and 女
(=>     (and         (instance ?BP BrakePedal)         (instance ?P Pushing)         (instance ?V Vehicle)         (destination ?P ?BP)         (eventLocated ?P ?V)         (part ?BP ?V))     (hasPurpose ?BP         (exists (?FS ?F)             (and                 (instance ?FS WearingFrictionSurface)                 (instance ?F Friction)                 (instrument ?F ?FS)                 (causes ?P ?F)))))	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛 目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦 儀器 entity and entity 原因 Process and entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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