(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?D)         (instance ?D ?DC)         (sideEffect ?DC ?DIS))     (modalAttribute         (attribute ?H ?DIS) Likely))	WMD.kif 1545-1554	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and ObjectC ObjectIS 是服用 ObjectC 的 side effect 模態屬性 attribute AutonomousAgent and ObjectIS and 容易
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?MS)         (instance ?MS MoodStabilizer)         (instance ?E ?EC)         (involvedInEvent ?E ?H)         (holdsDuring             (WhenFn ?E)             (attribute ?H ?ES))         (instance ?ES EmotionalState)         (instance ?E2 ?EC)         (involvedInEvent ?E2 ?H)         (earlier             (WhenFn ?E2)             (WhenFn ?I)))     (modalAttribute         (not             (holdsDuring ?E2                 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 11103-11124	例 Transfer and Ingesting 體驗者 Transfer and AutonomousAgent objectTransferred Transfer and Object 例 Object and MoodStabilizer 例 Process and ProcessC AutonomousAgent 是事件 Process 的 involved 持有期間 何時 Process and attribute AutonomousAgent and ProcessS 例 ProcessS and EmotionalState 例 Process2 and ProcessC AutonomousAgent 是事件 Process2 的 involved 早期 何時 Process2 and 何時 Transfer 模態屬性 持有期間 Process2 and attribute AutonomousAgent and ProcessS and 較不可能
(=>     (and         (instance ?I Ingesting)         (objectTransferred ?I ?H)         (instance ?H Hallucinogen)         (destination ?I ?P))     (modalAttribute         (exists (?HAL)             (and                 (instance ?HAL Hallucination)                 (experiencer ?HAL ?P))) Likely))	TransnationalIssues.kif 88-99	例 Transfer and Ingesting objectTransferred Transfer and Object 例 Object and 迷幻劑 目的地 Transfer and Entity 模態屬性 ObjectAL 例 ObjectAL and Hallucination 體驗者 ObjectAL and Entity and 容易
(=>     (and         (instance ?I Injecting)         (instance ?A Adalimumab)         (objectTransferred ?I ?A)         (located ?I ?BP)         (instance ?BP BodyPart)         (destination ?I ?H))     (modalAttribute         (exists (?T)             (and                 (holdsDuring ?T                     (attribute ?H                         (PainFn ?BP)))                 (during ?T                     (FutureFn                         (WhenFn ?I))))) Likely))	Medicine.kif 3631-3647	例 Transfer and 注射 例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來 何時 Transfer and 容易
(=>     (and         (instance ?I Intestine)         (instance ?A Animal)         (part ?I ?A))     (modalAttribute         (exists (?E)             (and                 (instance ?E EscherichiaColi)                 (contains ?I ?E))) Likely))	Medicine.kif 5499-5509	例 Object and 腸 例 Object and Animal 部分 Object and Object 模態屬性 entity 例 entity and EscherichiaColi 包含 Object and entity and 容易
(=>     (and         (instance ?L LeafSpring)         (part ?L ?RV)         (instance ?RV RoadVehicle))     (modalAttribute         (exists (?L2)             (and                 (instance ?L2 LeafSpring)                 (part ?L2 ?RV)                 (not                     (equal ?L ?L2))                 (meetsSpatially ?L ?L2))) Likely))	Cars.kif 902-915	例 Object and LeafSpring 部分 Object and Object 例 Object and 公路車輛 模態屬性 Object 例 Object and LeafSpring 部分 Object and Object equal Object and Object 空間的符合 Object and Object and 容易
(=>     (and         (instance ?L Lupus)         (experiencer ?L ?H))     (modalAttribute         (exists (?SR)             (and                 (instance ?SR SkinRash)                 (experiencer ?SR ?H))) Likely))	Medicine.kif 2263-2272	例 Process and Lupus 體驗者 Process and AutonomousAgent 模態屬性 entity 例 entity and SkinRash 體驗者 entity and AutonomousAgent and 容易
(=>     (and         (instance ?LD LiquidDrop)         (surface ?S ?LD))     (modalAttribute         (exists (?SS ?LL)             (and                 (instance ?LL Substance)                 (attribute ?LL Liquid)                 (not                     (equal ?LD ?LL))                 (surface ?SS ?LL)                 (meetsSpatially ?S ?SS))) Unlikely))	Geography.kif 7834-7846	例 SelfConnectedObject and LiquidDrop 表面 SelfConnectedObject and SelfConnectedObject 模態屬性 SelfConnectedObjectS entity 例 entity and Substance attribute entity and 液體 equal SelfConnectedObject and entity 表面 SelfConnectedObjectS and entity 空間的符合 SelfConnectedObject and SelfConnectedObjectS and 較不可能
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (accountAtSite ?A ?S)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3967-3981	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號 用戶帳號 是在 WebSite 的 account equal TimeInterval and 眼前的未來 何時 Process agent Process and AutonomousAgent 模態屬性 持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 患者 entity and WebSite and 可能性
(=>     (and         (instance ?LI LoggingIn)         (hasAccount ?U ?A)         (deviceAccount ?A ?C)         (equal ?T             (ImmediateFutureFn                 (WhenFn ?LI)))         (agent ?LI ?U))     (modalAttribute         (holdsDuring ?T             (exists (?P)                 (and                     (instance ?P ComputerProcess)                     (agent ?P ?U)                     (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3983-3997	例 Process and LoggingIn AutonomousAgent 有 account 用戶帳號 deviceAccount 用戶帳號 and 電腦 equal TimeInterval and 眼前的未來 何時 Process agent Process and AutonomousAgent 模態屬性 持有期間 TimeInterval and entity 例 entity and 電腦程序 agent entity and AutonomousAgent 儀器 entity and 電腦 and 可能性
(=>     (and         (instance ?ORDER Ordering)         (patient ?ORDER ?FORMULA))     (modalAttribute ?FORMULA Obligation))	Merge.kif 13342-13346	例 Process and Ordering 患者 Process and Formula 模態屬性 Formula and 義務
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (exists (?D)             (and                 (instance ?D Diarrhoea)                 (experiencer ?D ?H1)                 (causes ?P ?D))) Likely))	Medicine.kif 2736-2748	例 Process and CeliacDisease 體驗者 Process and AutonomousAgent 例 Object and SmallIntestine 部分 Object and AutonomousAgent 模態屬性 entity 例 entity and Diarrhoea 體驗者 entity and AutonomousAgent 原因 Process and entity and 容易
(=>     (and         (instance ?P CeliacDisease)         (experiencer ?P ?H1)         (instance ?SI SmallIntestine)         (part ?SI ?H1))     (modalAttribute         (located ?P ?SI) Likely))	Medicine.kif 2726-2734	例 Process and CeliacDisease 體驗者 Process and AutonomousAgent 例 Object and SmallIntestine 部分 Object and AutonomousAgent 模態屬性 位於 Process and Object and 容易
(=>     (and         (instance ?P Poison)         (instance ?I Ingesting)         (moves ?I ?P)         (experiencer ?I ?H))     (modalAttribute         (holdsDuring             (FutureFn                 (WhenFn ?I))             (attribute ?H Blind)) Possibility))	Mid-level-ontology.kif 9830-9841	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent 模態屬性 持有期間 未來 何時 Motion and attribute AutonomousAgent and 盲 and 可能性
(=>     (and         (instance ?POLICY ChildrenPolicy)         (policyOwner ?AGENT ?POLICY)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?CUST1)                     (and                         (customer ?CUST1 ?AGENT)                         (instance ?CUST1 HumanChild))) Possibility))         (containsInformation ?POLICY             (not                 (modalAttribute                     (exists (?CUST2)                         (and                             (customer ?CUST2 ?AGENT)                             (instance ?CUST2 HumanChild))) Possibility)))))	Hotel.kif 2546-2564	例 Policy and ChildrenPolicy Organization enacts policy Policy Policy covers Object 包含信息 Policy and 模態屬性 entity Organization 是 entity 的 customer 例 entity and 人類的孩子 and 可能性 包含信息 Policy and 模態屬性 entity Organization 是 entity 的 customer 例 entity and 人類的孩子 and 可能性
(=>     (and         (instance ?POLICY DailyHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY))     (modalAttribute         (exists (?GUEST ?ROOM ?STAY)             (and                 (guest ?GUEST ?AGENT)                 (stays ?GUEST ?ROOM)                 (equal ?STAY                     (WhenFn                         (stays ?GUEST ?ROOM)))                 (holdsDuring ?STAY                     (forall (?DAY)                         (=>                             (and                                 (instance ?DAY Day)                                 (during ?DAY ?STAY))                             (exists (?RC)                                 (and                                     (instance ?RC RoomCleaningService)                                     (patient ?RC ?ROOM)                                     (during ?RC ?DAY)))))))) Likely))	Hotel.kif 2665-2685	例 Policy and DailyHousekeepingPolicy Organization enacts policy Policy 模態屬性 entity entity and entity entity 是在 Organization 的 guest entity stays 在 entity equal entity and 何時 entity stays 在 entity 持有期間 entity and entity 例 entity and Day 期間 entity and entity entity 例 entity and RoomCleaningService 患者 entity and entity 期間 entity and entity and 容易
(=>     (and         (instance ?POLICY NoHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY)         (attribute ?AGENT TravelerAccommodation))     (modalAttribute         (exists (?GUEST ?ROOM)             (and                 (guest ?GUEST ?AGENT)                 (holdsDuring                     (WhenFn                         (stays ?GUEST ?ROOM))                     (not                         (exists (?CLEAN)                             (and                                 (instance ?CLEAN RoomCleaningService)                                 (patient ?CLEAN ?ROOM))))))) Likely))	Hotel.kif 2692-2708	例 Policy and NoHousekeepingPolicy Organization enacts policy Policy attribute Organization and 旅客住宿 模態屬性 entity entity entity 是在 Organization 的 guest 持有期間 何時 entity stays 在 entity and entity 例 entity and RoomCleaningService 患者 entity and entity and 容易
(=>     (and         (instance ?POLICY PetPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET1)                     (and                         (instance ?PET1 DomesticAnimal)                         (located ?PET1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?PET2)                     (and                         (instance ?PET2 DomesticAnimal)                         (located ?PET2 ?LOC))) Prohibition))))	Hotel.kif 2523-2539	例 Policy and PetPolicy Policy covers Object 包含信息 Policy and 模態屬性 entity 例 entity and 家畜 位於 entity and Object and 允許 包含信息 Policy and 模態屬性 entity 例 entity and 家畜 位於 entity and Object and 禁令
(=>     (and         (instance ?POLICY SmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE1)                     (and                         (instance ?SMOKE1 Smoking)                         (located ?SMOKE1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE2)                     (and                         (instance ?SMOKE2 Smoking)                         (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2500-2516	例 Policy and SmokingPolicy Policy covers Object 包含信息 Policy and 模態屬性 entity 例 entity and 抽煙 位於 entity and Object and 允許 包含信息 Policy and 模態屬性 entity 例 entity and 抽煙 位於 entity and Object and 禁令
(=>     (and         (instance ?POLICY WithHousekeepingPolicy)         (policyOwner ?AGENT ?POLICY)         (attribute ?AGENT TravelerAccommodation))     (modalAttribute         (exists (?GUEST ?ROOM)             (and                 (guest ?GUEST ?AGENT)                 (holdsDuring                     (WhenFn                         (stays ?GUEST ?ROOM))                     (exists (?CLEAN)                         (and                             (instance ?CLEAN RoomCleaningService)                             (patient ?CLEAN ?ROOM)))))) Likely))	Hotel.kif 2715-2730	例 Policy and WithHousekeepingPolicy Organization enacts policy Policy attribute Organization and 旅客住宿 模態屬性 entity entity entity 是在 Organization 的 guest 持有期間 何時 entity stays 在 entity and entity 例 entity and RoomCleaningService 患者 entity and entity and 容易
(=>     (and         (instance ?PV PhysicalViolence)         (agent ?PV ?A))     (modalAttribute         (holdsDuring             (WhenFn ?PV)             (attribute ?A Anger)) Likely))	emotion.kif 1646-1654	例 Process and PhysicalViolence agent Process and AutonomousAgent 模態屬性 持有期間 何時 Process and attribute AutonomousAgent and 憤怒 and 容易
(=>     (and         (instance ?R Renting)         (agent ?R ?A)         (patient ?R ?O))     (holdsDuring         (WhenFn ?R)         (modalAttribute             (uses ?O ?A) Permission)))	Mid-level-ontology.kif 24067-24074	例 Process and 租 agent Process and AutonomousAgent 患者 Process and Entity 持有期間 何時 Process and 模態屬性 使用 Entity and AutonomousAgent and 允許
(=>     (and         (instance ?REST Restaurant)         (instance ?DR DiningRoom)         (attribute ?DR PrivateAttribute)         (possesses ?REST ?DR)         (customer ?GRP1 ?REST)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople))     (modalAttribute         (not             (exists (?GRP2 ?E2)                 (and                     (customer ?GRP2 ?REST)                     (not                         (equal ?GRP1 ?GRP2))                     (instance ?E2 Eating)                     (agent ?E2 ?GRP2)                     (holdsDuring                         (WhenFn ?E1)                         (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳 例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人 模態屬性 entity entity AutonomousAgent 是 entity 的 customer equal CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間 何時 Process and entity 是 located 在 Object and 容易
(=>     (and         (instance ?S Laughing)         (experiencer ?S ?A))     (modalAttribute         (holdsDuring             (WhenFn ?S)             (attribute ?A Happiness)) Likely))	emotion.kif 1626-1634	例 Process and 笑 體驗者 Process and AutonomousAgent 模態屬性 持有期間 何時 Process and attribute AutonomousAgent and 幸福 and 容易
(=>     (and         (instance ?S LegalSummons)         (patient ?S ?O)         (destination ?S ?P))     (exists (?C ?T)         (and             (instance ?C CourtRoom)             (containsInformation ?O                 (modalAttribute                     (holdsDuring ?T                         (located ?P ?C)) Law)))))	Mid-level-ontology.kif 17614-17626	例 Process and 法律傳票 患者 Process and 內容承載物理 目的地 Process and Entity Entity entity 例 Entity and 法庭室 包含信息 內容承載物理 and 模態屬性 持有期間 entity and 位於 Entity and Entity and 法
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