(=>     (and         (webcart ?USER ?COLL ?SITE)         (member ?OBJ ?COLL))     (instance ?OBJ Object))	UXExperimentalTerms.kif 684-688	使用者 AutonomousAgent 在 WebSite 有 cart Collection 會員 Physical and Collection 例 Physical and Object
(=>     (attribute ?X Clean)     (instance ?X Object))	Mid-level-ontology.kif 25563-25565	attribute Object and Clean 例 Object and Object
(=>     (attribute ?X CommunalAttribute)     (instance ?X Object))	Mid-level-ontology.kif 27154-27156	attribute Object and CommunalAttribute 例 Object and Object
(=>     (attribute ?X Dirty)     (instance ?X Object))	Mid-level-ontology.kif 25567-25569	attribute Object and Dirty 例 Object and Object
(=>     (attribute ?X GiftNoveltyAndSouvenirStores)     (and         (instance ?X RetailStore)         (hasPurpose ?X             (exists (?SELL ?OBJ)                 (and                     (instance ?SELL Selling)                     (agent ?SELL ?X)                     (patient ?SELL ?OBJ)                     (instance ?OBJ Object))))))	naics.kif 7805-7815	attribute Object and 禮品新奇和紀念品商店 例 Object and 零售店 有目的 Object and entity entity 例 entity and Selling agent entity and Object 患者 entity and entity 例 entity and Object
(=>     (attribute ?X HandicappedFriendly)     (instance ?X Object))	Mid-level-ontology.kif 26166-26168	attribute Object and HandicappedFriendly 例 Object and Object
(=>     (attribute ?X Locked)     (instance ?X Object))	Mid-level-ontology.kif 2716-2718	attribute Object and 鎖定 例 Object and Object
(=>     (changesLocation ?EVENT ?OBJ)     (and         (instance ?EVENT Translocation)         (instance ?OBJ Object)         (or             (patient ?EVENT ?OBJ)             (agent ?EVENT ?OBJ)             (experiencer ?EVENT ?OBJ))))	Merge.kif 11025-11033	%2 是 %3 的 changes 地點 例 易位 and 易位 例 AutonomousAgent and Object 患者 易位 and AutonomousAgent agent 易位 and AutonomousAgent 體驗者 易位 and AutonomousAgent
(=>     (instance ?A Awarding)     (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)         (and             (instance ?RECIPIENT AutonomousAgent)             (instance ?GIVER AutonomousAgent)             (instance ?PROCESS Process)             (instance ?AWARD Object)             (agent ?PROCESS ?RECIPIENT)             (agent ?A ?GIVER)             (patient ?A ?AWARD)             (destination ?A ?RECIPIENT)             (causes ?PROCESS ?A))))	Mid-level-ontology.kif 18644-18656	例 Process and Awarding AutonomousAgent AutonomousAgent, Process and ProcessWARD 例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 Process and Process 例 ProcessWARD and Object agent Process and AutonomousAgent agent Process and AutonomousAgent 患者 Process and ProcessWARD 目的地 Process and AutonomousAgent 原因 Process and Process
(=>     (instance ?AUCTIONING Auctioning)     (exists (?ITEM)         (and             (instance ?ITEM Object)             (patient ?AUCTIONING ?ITEM))))	UXExperimentalTerms.kif 336-341	例 Process and Auctioning Entity 例 Entity and Object 患者 Process and Entity
(=>     (instance ?BAG Bag)     (hasPurpose ?BAG         (exists (?T ?OBJ)             (and                 (instance ?T Transfer)                 (instance ?OBJ Object)                 (contains ?BAG ?OBJ)                 (instrument ?T ?BAG)                 (patient ?T ?OBJ)))))	Mid-level-ontology.kif 4461-4470	例 Physical and 袋 有目的 Physical and entity entity 例 entity and Transfer 例 entity and Object 包含 Physical and entity 儀器 entity and Physical 患者 entity and entity
(=>     (instance ?BRAND Brand)     (exists (?OBJ)         (and             (instance ?OBJ Object)             (productBrand ?BRAND ?OBJ))))	Hotel.kif 1286-1291	例 Entity and Brand Entity 例 Entity and Object Entity 是 Entity 的 brand
(=>     (instance ?C Crushing)     (exists (?I ?C ?O)         (and             (instance ?I Impacting)             (subProcess ?C ?I)             (instance ?C Compressing)             (patient ?I ?O)             (patient ?C ?O)             (instance ?O Object))))	Food.kif 969-978	例 Process and Crushing Process Process and Entity 例 Process and Impacting 子過程 Process and Process 例 Process and Compressing 患者 Process and Entity 患者 Process and Entity 例 Entity and Object
(=>     (instance ?D Disappearing)     (exists (?OBJ ?AGENT ?SEARCH ?TIME)         (and             (instance ?SEARCH Searching)             (earlier                 (WhenFn ?D)                 (WhenFn ?SEARCH))             (agent ?SEARCH ?AGENT)             (instance ?OBJ Object)             (patient ?D ?OBJ)             (patient ?SEARCH ?OBJ)             (instance ?TIME TimeInterval)             (temporalPart ?TIME                 (WhenFn ?SEARCH))             (holdsDuring ?TIME                 (not                     (modalAttribute                         (exists (?DISC)                             (and                                 (instance ?DISC Discovering)                                 (agent ?DISC ?AGENT)                                 (patient ?DISC ?OBJ))) Possibility))))))	Mid-level-ontology.kif 17322-17344	例 Process and Disappearing Entity AutonomousAgent, Process and TimePosition 例 Process and Searching 早期 何時 Process and 何時 Process agent Process and AutonomousAgent 例 Entity and Object 患者 Process and Entity 患者 Process and Entity 例 TimePosition and TimeInterval 時間部分 TimePosition and 何時 Process 持有期間 TimePosition and 模態屬性 ProcessISC 例 ProcessISC and 發現 agent ProcessISC and AutonomousAgent 患者 ProcessISC and Entity and 可能性
(=>     (instance ?EXPORT Exporting)     (exists (?ITEM)         (and             (instance ?ITEM Object)             (patient ?EXPORT ?ITEM))))	Economy.kif 2405-2410	例 Process and 出口 Entity 例 Entity and Object 患者 Process and Entity
(=>     (instance ?F CargoShip)     (exists (?T ?OBJ)         (and             (instance ?T Transportation)             (instance ?OBJ Object)             (hasPurpose ?F                 (and                     (agent ?T ?F)                     (patient ?T ?OBJ))))))	Mid-level-ontology.kif 30056-30065	例 Physical and 貨船 Entity Entity 例 Entity and Transportation 例 Entity and Object 有目的 Physical and agent Entity and Physical 患者 Entity and Entity
(=>     (instance ?FROST Frosting)     (exists (?ICE ?OBJ)         (and             (instance ?ICE Ice)             (attribute ?ICE MonoCrystalline)             (patient ?FROST ?ICE)             (instance ?OBJ Object)             (attribute ?OBJ Solid)             (destination ?FROST ?OBJ)             (meetsSpatially ?FROST ?OBJ))))	Weather.kif 2778-2788	例 Process and Frosting Object Object 例 Object and 冰 attribute Object and MonoCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體 目的地 Process and Object 空間的符合 Process and Object
(=>     (instance ?GUIDE GuidingMotion)     (exists (?MOVED)         (and             (patient ?GUIDE ?MOVED)             (instance ?MOVED Object))))	ComputerInput.kif 78-83	例 Process and GuidingMotion Entity 患者 Process and Entity 例 Entity and Object
(=>     (instance ?ICING Icing)     (exists (?ICE ?OBJ)         (and             (instance ?ICE Ice)             (attribute ?ICE PolyCrystalline)             (patient ?ICING ?ICE)             (instance ?OBJ Object)             (attribute ?OBJ Solid)             (destination ?ICING ?OBJ)             (meetsSpatially ?ICE ?OBJ))))	Weather.kif 2510-2520	例 Process and 刨冰 Object Object 例 Object and 冰 attribute Object and PolyCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體 目的地 Process and Object 空間的符合 Object and Object
(=>     (instance ?MOTION Motion)     (exists (?OBJ)         (and             (instance ?OBJ Object)             (moves ?MOTION ?OBJ))))	Merge.kif 11040-11045	例 Motion and Motion Object 例 Object and Object 移動 Motion and Object
(=>     (instance ?PD PaintingDevice)     (hasPurpose ?PD         (exists (?STUFF ?COVER ?SURF ?OBJ)             (and                 (instance ?STUFF Substance)                 (instance ?COVER Covering)                 (instance ?OBJ Object)                 (surface ?SURF ?OBJ)                 (agent ?COVER ?PD)                 (instrument ?COVER ?STUFF)                 (patient ?COVER ?SURF)))))	Mid-level-ontology.kif 3262-3273	例 Physical and 繪畫裝置 有目的 Physical and entity entity, entity and entity 例 entity and Substance 例 entity and Covering 例 entity and Object 表面 entity and entity agent entity and Physical 儀器 entity and entity 患者 entity and entity
(=>     (instance ?PLANER Planer)     (hasPurpose ?PLANER         (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)             (and                 (instance ?CUT Cutting)                 (instrument ?CUT ?PLANER)                 (resource ?CUT ?OBJ1)                 (instance ?OBJ1 Object)                 (material ?OBJ1 Wood)                 (result ?CUT ?OBJ2)                 (instance ?OBJ2 Object)                 (material Wood ?OBJ2)                 (attribute ?OBJ2 Flat)                 (instance ?U UnitOfLength)                 (height ?OBJ1                     (MeasureFn ?H1 ?U))                 (height ?OBJ2                     (MeasureFn ?H2 ?U))                 (greaterThan ?H1 ?H2)))))	Economy.kif 6017-6036	例 Physical and 刨床 有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and Cutting 儀器 entity and Physical 資源 entity and entity 例 entity and Object 材料 entity and 木 結果 entity and entity 例 entity and Object 材料 木 and entity attribute entity and 平面 例 entity and UnitOfLength 高度 entity and 測量 entity and entity 高度 entity and 測量 entity and entity 比較多 entity and entity
(=>     (instance ?PROCESS         (OperatingFn ComputerMouse))     (exists (?SURFACE)         (and             (instance ?SURFACE Object)             (attribute ?SURFACE Flat)             (eventLocated ?PROCESS ?SURFACE))))	ComputerInput.kif 389-396	例 Process and ComputerMouse 的 operating Object 例 Object and Object attribute Object and 平面 Process 是 located 在 Object
(=>     (instance ?PURSUE Pursuing)     (exists (?OBJ)         (and             (instance ?OBJ Object)             (patient ?PURSUE ?OBJ))))	Merge.kif 12900-12905	例 Process and Pursuing Entity 例 Entity and Object 患者 Process and Entity
(=>     (instance ?S Searching)     (exists (?AGENT ?OBJ ?LOC)         (and             (instance ?AGENT CognitiveAgent)             (agent ?S ?AGENT)             (instance ?OBJ Physical)             (patient ?S ?OBJ)             (instance ?LOC Object)             (located ?OBJ ?LOC)             (hasPurposeForAgent ?S                 (knows ?AGENT                     (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 12992-13004	例 Process and Searching AutonomousAgent Physical and Object 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent 例 Physical and Physical 患者 Process and Physical 例 Object and Object 位於 Physical and Object 有代理人的目的 Process, 知道 AutonomousAgent and 位於 Physical and Object and AutonomousAgent
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