(=>     (and         (instance ?T Tailpipe)         (instance ?TR Transfer)         (instance ?E Exhaust)         (instance ?A Automobile)         (instance ?AES AutomobileExhaustSystem)         (part ?T ?A)         (path ?TR ?T)         (patient ?TR ?E))     (hasPurpose ?T         (not             (exists (?O)                 (and                     (part ?O ?A)                     (beforeOnPath ?T ?O ?AES ?TR))))))	Cars.kif 4107-4122	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車 例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
(=>     (and         (instance ?T Transportation)         (instance ?W Wheel)         (instance ?A Automobile)         (part ?W ?A)         (instrument ?T ?A)         (instance ?AB AntilockBrake)         (instance ?D Decelerating)         (instrument ?D ?AB)         (part ?AB ?W))     (hasPurpose ?AB         (exists (?R)             (and                 (instance ?R Rotating)                 (during ?R ?D)))))	Cars.kif 1292-1307	例 Process and Transportation 例 Object and 輪 例 Object and 汽車 部分 Object and Object 儀器 Process and Object 例 ObjectB and AntilockBrake 例 Process and 減速 儀器 Process and ObjectB 部分 ObjectB and Object 有目的 ObjectB and entity 例 entity and 旋轉 期間 entity and Process
(=>     (and         (instance ?VCS VentedChestSeal)         (instance ?A Attaching)         (objectTransferred ?A ?VCS)         (destination ?A ?H))     (hasPurpose ?VCS         (exists (?A ?L ?C ?H)             (and                 (instance ?A Air)                 (instance ?L Lung)                 (instance ?C Chest)                 (part ?L ?H)                 (part ?C ?H)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?A))                     (between ?L ?A ?C))                 (hasPurpose ?VCS                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?A))                         (orientation ?A ?H Outside)))))))	Medicine.kif 844-866	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣 例 entity and 肺 例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間 不久的過去 何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間 眼前的未來 何時 Transfer and 方位 Transfer, Entity and 外
(=>     (and         (instance ?WEAPON HighPrecisionWeapon)         (instrument ?DESTR ?WEAPON)         (patient ?DESTR ?PATIENT))     (hasPurpose ?WEAPON         (not             (exists (?DAMAGING ?DAMAGED)                 (and                     (instance ?DAMAGING Damaging)                     (subProcess ?DAMAGING ?DESTR)                     (patient ?DAMAGING ?DAMAGED)                     (not                         (equal ?PATIENT ?DAMAGED)))))))	MilitaryProcesses.kif 641-654	例 Object and 高精度武器 儀器 Process and Object 患者 Process and Entity 有目的 Object and entity entity 例 entity and Damaging 子過程 entity and Process 患者 entity and entity equal Entity and entity
(=>     (and         (instance ?X CarAlarm)         (instance ?CAR SelfPoweredRoadVehicle)         (part ?X ?CAR))     (exists (?HARM ?THIEF ?T ?L)         (hasPurpose ?X             (=>                 (and                     (or                         (instance ?HARM Stealing)                         (instance ?HARM Damaging))                     (instance ?THIEF Human)                     (agent ?HARM ?THIEF)                     (patient ?HARM ?CAR)                     (equal                         (WhenFn ?HARM) ?T)                     (eventPartlyLocated ?HARM ?L))                 (exists (?ALARM)                     (and                         (instance ?ALARM RadiatingSound)                         (agent ?ALARM ?X)                         (causes ?HARM ?ALARM)                         (hasPurpose ?ALARM                             (increasesLikelihood                                 (exists (?WITNESS)                                     (and                                         (instance ?WITNESS Human)                                         (holdsDuring ?T                                             (orientation ?WITNESS ?L Near))))                                 (or                                     (knows ?WITNESS                                         (exists (?H)                                             (and                                                 (or                                                     (instance ?H Stealing)                                                     (instance ?H Damaging))                                                 (eventPartlyLocated ?H ?L)                                                 (holdsDuring ?T                                                     (patient ?H ?CAR)))))                                     (finishes                                         (WhenFn ?ALARM)                                         (WhenFn ?HARM)))))))))))	Cars.kif 3771-3812	例 Object and CarAlarm 例 Object and 自供電公路車輛 部分 Object and Object entity entity, entity and entity 有目的 Object and 例 entity and 偷竊行為 例 entity and Damaging 例 entity and Human agent entity and entity 患者 entity and Object equal 何時 entity and entity entity 是 partly located 在 entity entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 有目的 entity and 增加可能性 entity 例 entity and Human 持有期間 entity and 方位 entity, entity and 近 and 知道 entity and entity 例 entity and 偷竊行為 例 entity and Damaging entity 是 partly located 在 entity 持有期間 entity and 患者 entity and Object 飾面 何時 entity and 何時 entity
(=>     (and         (instance ?X FireAlarm)         (attribute ?X DeviceOn)         (located ?X ?LOC))     (exists (?RS)         (and             (instance ?RS RadiatingSound)             (instrument ?RS ?X)             (hasPurpose ?RS                 (exists (?GRP)                     (and                         (instance ?GRP GroupOfPeople)                         (located ?GRP ?LOC)                         (knows ?GRP                             (exists (?FIRE)                                 (and                                     (instance ?FIRE Fire)                                     (eventLocated ?FIRE ?LOC))))))))))	Mid-level-ontology.kif 28356-28374	例 Object and FireAlarm attribute Object and 設備上 位於 Object and Object Process 例 Process and RadiatingSound 儀器 Process and Object 有目的 Process and entity 例 entity and 一群人 位於 entity and Object 知道 entity and entity 例 entity and 火 entity 是 located 在 Object
(=>     (and         (instance ?X HotelFunctionRoom)         (element ?X             (PropertyFn ?HOTEL)))     (hasPurpose ?X         (exists (?RENT)             (and                 (instance ?RENT Renting)                 (patient ?RENT ?X)))))	Hotel.kif 1707-1715	例 Physical and HotelFunctionRoom 元件 Physical and 屬性 AutonomousAgent 有目的 Physical and entity 例 entity and 租 患者 entity and Physical
(=>     (and         (instance ?X Nursery)         (element ?X             (PropertyFn ?HOTEL))         (attribute ?HOTEL TravelerAccommodation))     (exists (?NANNY ?CARE)         (and             (attribute ?X CommunalAttribute)             (employs ?HOTEL ?NANNY)             (hasPurpose ?NANNY                 (and                     (instance ?CARE ChildCareService)                     (serviceProvider ?CARE ?NANNY))))))	Hotel.kif 1913-1925	例 Object and Nursery 元件 Object and 屬性 AutonomousAgent attribute AutonomousAgent and 旅客住宿 CognitiveAgent entity attribute Object and CommunalAttribute 採用 AutonomousAgent and CognitiveAgent 有目的 CognitiveAgent and 例 entity and ChildCareService 服務提供者 entity and CognitiveAgent
(=>     (and         (instance ?X OrderingParts)         (patient ?X ?P))     (hasPurpose ?X         (exists (?L)             (and                 (instance ?L List)                 (inList ?P ?L)))))	Economy.kif 2101-2109	例 Process and OrderingParts 患者 Process and Entity 有目的 Process and entity 例 entity and List 在列表中 Entity and entity
(=>     (and         (instance ?X Respirator)         (instance ?PERSON Animal)         (wears ?PERSON ?X))     (hasPurpose ?X         (exists (?INHAL ?INJ ?PROTECT ?I)             (and                 (instance ?PROTECT Process)                 (instrument ?PROTECT ?X)                 (prevents ?PROTECT ?INJ)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?H)                                 (and                                     (instance ?H Human)                                     (patient ?I ?H)                                     (instance ?INHAL Inhaling)                                     (agent ?INHAL ?H)                                     (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	例 可穿戴物品 and 呼吸器 例 Animal and Animal 穿 Animal and 可穿戴物品 有目的 可穿戴物品 and entity entity, entity and entity 例 entity and Process 儀器 entity and 可穿戴物品 防止 entity and entity 子類 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Human 患者 entity and entity 例 entity and 吸入 agent entity and entity 原因 entity and entity
(=>     (and         (instance ?X SurveillanceSystem)         (member ?X ?VIDEO)         (member ?X ?DISPLAY)         (located ?VIDEO ?LOC1)         (instance ?VIDEO Camera)         (located ?DISPLAY ?LOC2)         (not             (equal ?LOC1 ?LOC2))         (instance ?DISPLAY VideoDisplay))     (hasPurpose ?X         (exists (?PROC ?VID ?RL ?CAPTURE)             (and                 (instance ?PROC Process)                 (eventLocated ?PROC ?LOC1)                 (represents ?VID ?PROC)                 (instrument ?CAPTURE Camera)                 (result ?CAPTURE ?VID)                 (instance ?RL RadiatingLight)                 (instrument ?RL ?DISPLAY)                 (patient ?RL ?VID)                 (before                     (BeginFn ?PROC)                     (BeginFn ?CAPTURE))                 (before                     (BeginFn ?CAPTURE)                     (BeginFn ?RL))))))	Mid-level-ontology.kif 28872-28898	例 Physical and SurveillanceSystem 會員 Physical and Collection 會員 Physical and Collection 位於 Collection and Object 例 Collection and 相機 位於 Collection and Object equal Object and Object 例 Collection and VideoDisplay 有目的 Physical and entity entity, entity and entity 例 entity and Process entity 是 located 在 Object 代表 entity and entity 儀器 entity and 相機 結果 entity and entity 例 entity and RadiatingLight 儀器 entity and Collection 患者 entity and entity 之前 開始 entity and 開始 entity 之前 開始 entity and 開始 entity
(=>     (and         (offers ?HOTEL ?MP)         (instance ?MP MealPlan)         (includedMeal ?MP ?ATTR)         (attribute ?HOTEL TravelerAccommodation)         (guest ?GUEST ?HOTEL)         (buys ?GUEST ?HOTEL ?MP))     (holdsDuring         (WhenFn             (guest ?GUEST ?HOTEL))         (exists (?TI)             (holdsDuring ?TI                 (exists (?MEAL)                     (and                         (attribute ?MEAL ?ATTR)                         (hasPurpose ?MEAL                             (exists (?E)                                 (and                                     (instance ?E Eating)                                     (agent ?E ?GUEST)                                     (patient ?E ?MEAL))))))))))	Hotel.kif 1569-1589	AutonomousAgent offers 拍賣樣品在 MealPlan 例 MealPlan and MealPlan 類別 RelationalAttribute 的 meals 是包含在 MealPlan attribute AutonomousAgent and 旅客住宿 CognitiveAgent 是在 AutonomousAgent 的 guest CognitiveAgent buys MealPlan 從 AutonomousAgent 持有期間 何時 CognitiveAgent 是在 AutonomousAgent 的 guest and entity 持有期間 entity and entity attribute entity and RelationalAttribute 有目的 entity and entity 例 entity and Eating agent entity and CognitiveAgent 患者 entity and entity
(=>     (and         (suppliesBlood ?AC ?BPC)         (instance ?A ?AC)         (instance ?BP ?BPC))     (hasPurpose ?A         (exists (?BF ?B)             (and                 (instance ?BF LiquidMotion)                 (objectTransferred ?BF ?B)                 (instance ?B Blood)                 (destination ?BF ?BP)))))	Anatomy.kif 1988-1999	suppliesBlood 動脈 and BodyPart 例 Physical and 動脈 例 Entity and BodyPart 有目的 Physical and entity entity 例 entity and 液體運動 objectTransferred entity and entity 例 entity and Blood 目的地 entity and Entity
(=>     (and         (vaccine ?VAC ?VIR)         (instance ?V Vaccination)         (experiencer ?V ?H)         (instance ?VACI ?VAC)         (objectTransferred ?V ?VACI))     (hasPurpose ?VACI         (not             (exists (?I ?VIRI)                 (and                     (instance ?I Infecting)                     (experiencer ?I ?H)                     (instance ?VIRI ?VIR)                     (objectTransferred ?I ?VIRI))))))	WMD.kif 1089-1103	vaccine Vaccine and Virus 例 Transfer and Vaccination 體驗者 Transfer and AutonomousAgent 例 VaccineI and Vaccine objectTransferred Transfer and VaccineI 有目的 VaccineI and entity VirusI 例 entity and Infecting 體驗者 entity and AutonomousAgent 例 VirusI and Virus objectTransferred entity and VirusI
(=>     (attribute ?A SecurityOfficer)     (hasPurpose ?A         (exists (?LE)             (and                 (instance ?LE LawEnforcement)                 (agent ?LE ?A)))))	MilitaryPersons.kif 766-772	attribute Object and SecurityOfficer 有目的 Object and entity 例 entity and 執法 agent entity and Object
(=>     (attribute ?FEED Fodder)     (hasPurpose ?FEED         (exists (?ANIMAL ?EAT)             (and                 (instance ?ANIMAL DomesticAnimal)                 (instance ?EAT Eating)                 (agent ?EAT ?ANIMAL)                 (patient ?EAT ?FEED)))))	Mid-level-ontology.kif 21639-21647	attribute Object and 飼料 有目的 Object and entity entity 例 entity and 家畜 例 entity and Eating agent entity and entity 患者 entity and Object
(=>     (attribute ?H ArtCritic)     (hasPurpose ?H         (exists (?AW ?T ?CLASS)             (and                 (instance ?AW ArtWork)                 (overlapsTemporally                     (WhenFn ?AW)                     (WhenFn ?H))                 (instance ?T ?CLASS)                 (subclass ?CLASS Article)                 (authors ?H ?CLASS)                 (refers ?T ?AW)))))	Mid-level-ontology.kif 22706-22718	attribute Object and 藝術評論家 有目的 Object and entity entity and entity 例 entity and ArtWork 暫時重疊 何時 entity and 何時 Object 例 entity and entity 子類 entity and Article 作者 Object and entity 參照 entity and entity
(=>     (attribute ?H IntelligenceOfficer)     (hasPurpose ?H         (exists (?I)             (and                 (instance ?I IntelligenceActivities)                 (agent ?I ?H)))))	MilitaryPersons.kif 783-789	attribute Object and IntelligenceOfficer 有目的 Object and entity 例 entity and 情報活動 agent entity and Object
(=>     (attribute ?H NewsReporter)     (hasPurpose ?H         (exists (?EV ?T ?NEWS)             (and                 (instance ?EV Process)                 (overlapsTemporally                     (WhenFn ?EV)                     (WhenFn ?H))                 (instance ?T ?NEWS)                 (or                     (subclass ?NEWS Newspaper)                     (subclass ?NEWS NewsProgram))                 (authors ?H ?NEWS)                 (refers ?T ?EV)))))	Mid-level-ontology.kif 22683-22697	attribute Object and 新聞記者 有目的 Object and entity entity and entity 例 entity and Process 暫時重疊 何時 entity and 何時 Object 例 entity and entity 子類 entity and 報紙 子類 entity and 新聞節目 作者 Object and entity 參照 entity and entity
(=>     (attribute ?H Valet)     (hasPurpose ?H         (and             (instance ?VEHICLE Vehicle)             (instance ?PUT Putting)             (destination ?PUT ?PARK)             (instance ?PARK ParkingRegion)             (patient ?PUT ?VEHICLE)             (agent ?PUT ?H))))	TransportDetail.kif 136-145	attribute Object and Valet 有目的 Object and 例 entity and 車輛 例 entity and Putting 目的地 entity and entity 例 entity and ParkingRegion 患者 entity and entity agent entity and Object
(=>     (attribute ?M CoinOperated)     (hasPurpose ?M         (exists (?C ?FT ?A ?ACT)             (and                 (instance ?C CurrencyCoin)                 (instance ?FT FinancialTransaction)                 (destination ?FT ?M)                 (patient ?FT ?C)                 (origin ?FT ?A)                 (causes ?FT ?ACT)                 (wants ?A ?ACT)))))	Mid-level-ontology.kif 31393-31404	attribute Object and CoinOperated 有目的 Object and entity entity, entity and entityCT 例 entity and 貨幣硬幣 例 entity and FinancialTransaction 目的地 entity and Object 患者 entity and entity 起源 entity and entity 原因 entity and entityCT 想要 entity and entityCT
(=>     (attribute ?P SEAL)     (hasPurpose ?P         (exists (?S)             (and                 (instance ?S SpecialOperation)                 (agent ?S ?P)))))	MilitaryPersons.kif 808-814	attribute Object and SEAL 有目的 Object and entity 例 entity and 特別行動 agent entity and Object
(=>     (attribute ?PROC ServiceInEconomics)     (exists (?S)         (and             (instance ?PROC Process)             (hasPurpose ?PROC                 (and                     (instance ?S Selling)                     (patient ?S ?PROC))))))	Economy.kif 6890-6898	attribute Object and ServiceInEconomics entity 例 Object and Process 有目的 Object and 例 entity and Selling 患者 entity and Object
(=>     (attribute ?ROOM OpenLayout)     (and         (instance ?ROOM Room)         (exists (?R1 ?R2 ?H)             (and                 (instance ?R1 Region)                 (instance ?R2 Region)                 (located ?R1 ?ROOM)                 (located ?R2 ?ROOM)                 (not                     (equal ?R1 ?R2))                 (orientation ?R1 ?R2 Adjacent)                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Process)                         (instance ?P2 Process)                         (hasPurpose ?R1 ?P1)                         (hasPurpose ?R2 ?P2)))                 (=>                     (and                         (instance ?H AutonomousAgent)                         (located ?H ?R2))                     (and                         (capability Seeing agent ?H)                         (capability Seeing patient ?R1)))))))	Dining.kif 956-980	attribute Object and OpenLayout 例 Object and Room Object Object and Object 例 Object and Region 例 Object and Region 位於 Object and Object 位於 Object and Object equal Object and Object 方位 Object, Object and 鄰 Formula Formula 例 Formula and Process 例 Formula and Process 有目的 Object and Formula 有目的 Object and Formula 例 Object and AutonomousAgent 位於 Object and Object 能力 Seeing, agent and Object 能力 Seeing, 患者 and Object
(=>     (attribute ?U ExpeditionaryForce)     (hasPurpose ?U         (exists (?B ?C ?FC)             (and                 (instance ?U MilitaryUnit)                 (instance ?B Battle)                 (agent ?B ?U)                 (instance ?FC Nation)                 (located ?B ?FC)                 (not                     (equal ?C ?FC))))))	MilitaryPersons.kif 725-736	attribute Object and ExpeditionaryForce 有目的 Object and entity entity and entity 例 Object and 軍事單位 例 entity and Battle agent entity and Object 例 entity and Nation 位於 entity and entity equal entity 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