(=>     (and         (instance ?BORROW Borrowing)         (agent ?BORROW ?AGENT1)         (origin ?BORROW ?AGENT2)         (patient ?BORROW ?OBJECT))     (exists (?LEND)         (and             (instance ?LEND Lending)             (agent ?LEND ?AGENT2)             (destination ?LEND ?AGENT1)             (patient ?LEND ?OBJECT))))	Merge.kif 11753-11764	例 Process and Borrowing agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Lending agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
(=>     (and         (instance ?BP BrakePad)         (instance ?BR BrakeRotor)         (instance ?R Rotating)         (patient ?R ?BR)         (instance ?F Friction)         (resource ?F ?BP)         (patient ?F ?BR))     (not         (patient ?R ?BP)))	Cars.kif 617-627	例 Object and BrakePad 例 Entity and BrakeRotor 例 Process and 旋轉 患者 Process and Entity 例 Process and 摩擦 資源 Process and Object 患者 Process and Entity 患者 Process and Object
(=>     (and         (instance ?BS BrakeShoe)         (instance ?BD BrakeDrum)         (instance ?R Rotating)         (patient ?R ?BD)         (instance ?F Friction)         (resource ?F ?BS)         (patient ?F ?BD))     (not         (patient ?R ?BS)))	Cars.kif 639-649	例 Object and BrakeShoe 例 Entity and BrakeDrum 例 Process and 旋轉 患者 Process and Entity 例 Process and 摩擦 資源 Process and Object 患者 Process and Entity 患者 Process and Object
(=>     (and         (instance ?BUY Buying)         (agent ?BUY ?AGENT1)         (origin ?BUY ?AGENT2)         (patient ?BUY ?OBJECT))     (exists (?SELL)         (and             (instance ?SELL Selling)             (agent ?SELL ?AGENT2)             (destination ?SELL ?AGENT1)             (patient ?SELL ?OBJECT))))	Merge.kif 11927-11938	例 Process and Buying agent Process and AutonomousAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Selling agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
(=>     (and         (instance ?C CavalryUnit)         (instance ?B Battle)         (agent ?B ?C))     (exists (?P ?V ?T)         (and             (attribute ?P Soldier)             (member ?P ?C)             (instance ?T Transportation)             (agent ?T ?P)             (instance ?V Vehicle)             (patient ?T ?V)             (during ?T ?B))))	Mid-level-ontology.kif 8386-8399	例 AutonomousAgent and 騎兵部隊 例 TimeInterval and Battle agent TimeInterval and AutonomousAgent AutonomousAgent Entity and TimeInterval attribute AutonomousAgent and 士兵 會員 AutonomousAgent and AutonomousAgent 例 TimeInterval and Transportation agent TimeInterval and AutonomousAgent 例 Entity and 車輛 患者 TimeInterval and Entity 期間 TimeInterval and TimeInterval
(=>     (and         (instance ?C Clutch)         (instance ?A Automobile)         (instance ?E Engine)         (instance ?G Gearbox)         (instance ?GEAR Gear)         (part ?GEAR ?G)         (part ?G ?A)         (part ?C ?A)         (part ?E ?A)         (instance ?M Motion)         (patient ?M ?E)         (attribute ?C DeviceOff))     (exists (?M2)         (and             (instance ?M2 Motion)             (patient ?M2 ?G)             (causes ?M ?M2))))	Cars.kif 1844-1862	例 Object and Clutch 例 Object and 汽車 例 Object and 發動機 例 Object and 變速器 例 ObjectEAR and 齒輪 部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=>     (and         (instance ?C Clutch)         (instance ?A Automobile)         (instance ?E Engine)         (instance ?G Gearbox)         (instance ?GEAR Gear)         (part ?GEAR ?G)         (part ?G ?A)         (part ?C ?A)         (part ?E ?A)         (instance ?M Motion)         (patient ?M ?E)         (attribute ?C DeviceOn))     (not         (exists (?M2)             (and                 (instance ?M2 Motion)                 (patient ?M2 ?G)                 (causes ?M ?M2)))))	Cars.kif 1823-1842	例 Object and Clutch 例 Object and 汽車 例 Object and 發動機 例 Object and 變速器 例 ObjectEAR and 齒輪 部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
(=>     (and         (instance ?C Concealing)         (patient ?C ?OBJ))     (hasPurpose ?C         (not             (exists (?S)                 (and                     (instance ?S Seeing)                     (patient ?S ?OBJ))))))	Mid-level-ontology.kif 5488-5497	例 Process and 隱瞞 患者 Process and Entity 有目的 Process and entity 例 entity and Seeing 患者 entity and Entity
(=>     (and         (instance ?C Convoy)         (member ?VEH ?C))     (exists (?DRIVE)         (and             (instance ?DRIVE Driving)             (overlapsTemporally                 (WhenFn ?DRIVE)                 (WhenFn ?C))             (patient ?DRIVE ?VEH))))	Mid-level-ontology.kif 22347-22355	例 Collection and 護航 會員 Physical and Collection Process 例 Process and Driving 暫時重疊 何時 Process and 何時 Collection 患者 Process and Physical
(=>     (and         (instance ?C Crankshaft)         (instance ?I IntermittentCombustionEngine)         (part ?I ?C))     (hasPurpose ?C         (exists (?E ?R)             (and                 (instance ?E Explosion)                 (instance ?R Rotating)                 (patient ?R ?C)                 (eventLocated ?R ?I)                 (causes ?E ?R)))))	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸 例 entity and 旋轉 患者 entity and Object entity 是 located 在 Object 原因 entity and entity
(=>     (and         (instance ?C Cricothyroidotomy)         (patient ?C ?O))     (hasPurpose ?C         (and             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?C))                 (exists (?B)                     (and                         (instance ?B                             (ImpairmentFn Breathing))                         (patient ?B ?O))))             (not                 (holdsDuring                     (ImmediateFutureFn                         (WhenFn ?C))                     (exists (?B)                         (and                             (instance ?B                                 (ImpairmentFn Breathing))                             (patient ?B ?O))))))))	Medicine.kif 767-785	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間 不久的過去 何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間 眼前的未來 何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
(=>     (and         (instance ?C Crushing)         (patient ?C ?O)         (instance ?O Object))     (exists (?B ?SC)         (and             (instance ?B Breaking)             (causes ?C ?B)             (subProcess ?B ?SC)             (instance ?SC ShapeChange)             (patient ?B ?O)             (patient ?SC ?O))))	Food.kif 980-992	例 Process and Crushing 患者 Process and Entity 例 Entity and Object Process Process 例 Process and Breaking 原因 Process and Process 子過程 Process and Process 例 Process and ShapeChange 患者 Process and Entity 患者 Process and Entity
(=>     (and         (instance ?C Crushing)         (patient ?C ?O)         (instance ?O Object))     (exists (?SC)         (and             (result ?C ?SC)             (instance ?SC ShapeChange)             (patient ?SC ?O))))	Food.kif 994-1003	例 Process and Crushing 患者 Process and Entity 例 Entity and Object Process 結果 Process and Process 例 Process and ShapeChange 患者 Process and Entity
(=>     (and         (instance ?C Curdling)         (patient ?C ?X)         (instance ?X Colloid))     (exists (?S ?A)         (and             (instance ?S Separating)             (subProcess ?S ?C)             (patient ?S ?X)             (result ?S ?A)             (piece ?A ?X)             (instance ?A Substance))))	Food.kif 3199-3211	例 Process and Curdling 患者 Process and Substance 例 Substance and 膠體 Process Substance 例 Process and Separating 子過程 Process and Process 患者 Process and Substance 結果 Process and Substance 片 Substance and Substance 例 Substance and Substance
(=>     (and         (instance ?C CurdlingMilk)         (instance ?M Milk)         (patient ?C ?M))     (exists (?PH ?D ?H ?L)         (and             (measure ?M                 (MeasureFn ?PH PHValue))             (instance ?D Decreasing)             (subProcess ?D ?C)             (patient ?D ?PH)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (equal ?PH ?H)                 (approximateValue ?H 6.5))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (equal ?PH ?L)                 (approximateValue ?L 4.5)))))	Food.kif 3226-3247	例 Process and CurdlingMilk 例 Physical and 奶 患者 Process and Physical RealNumber Process, entity and entity 測量 Physical and 測量 RealNumber and 酸鹼度 例 Process and Decreasing 子過程 Process and Process 患者 Process and RealNumber 持有期間 開始 何時 Process, 等於 RealNumber and entity and approximateValue entity and 6.5 持有期間 結束 何時 Process, 等於 RealNumber and entity and approximateValue entity and 4.5
(=>     (and         (instance ?C CuringFood)         (instance ?F Food)         (patient ?C ?F))     (exists (?D)         (and             (instance ?D Drying)             (subProcess ?D ?C)             (patient ?D ?F))))	Food.kif 96-105	例 Process and CuringFood 例 Entity and Food 患者 Process and Entity Process 例 Process and Drying 子過程 Process and Process 患者 Process and Entity
(=>     (and         (instance ?CAB GovernmentCabinet)         (subOrganization ?CAB             (GovernmentFn ?AREA))         (instance ?AREA GeopoliticalArea))     (hasPurpose ?CAB         (exists (?ADVICE ?LEADER)             (and                 (instance ?ADVICE Stating)                 (agent ?ADVICE ?CAB)                 (patient ?ADVICE ?LEADER)                 (leader ?LEADER                     (GovernmentFn ?AREA))))))	Government.kif 1513-1524	例 Organization and 政府內閣 子組織 Organization and 政府 GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 有目的 Organization and entity entity 例 entity and Stating agent entity and Organization 患者 entity and entity 政府 GeopoliticalArea 是 entity 的 leader
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER FinancialTransaction))))     (exists (?ITEM ?BUYING)         (equal             (CardinalityFn                 (KappaFn ?ITEM                     (and                         (instance ?ITEM Physical)                         (instance ?BUYING Buying)                         (member ?BUYING ?COLL)                         (patient ?BUYING ?ITEM))))             (BoughtItemsFn ?COLL))))	UXExperimentalTerms.kif 2887-2903	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity 等於 基數 卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER WebListing))))     (equal         (DivisionFn             (CardinalityFn                 (exists (?LISTING ?SITE ?ITEM)                     (KappaFn ?LISTING                         (and                             (instance ?LISTING WebListing)                             (instance ?SITE WebSite)                             (instance ?ITEM Physical)                             (member ?LISTING ?COLL)                             (patient ?LISTING ?ITEM)                             (hostedOn ?LISTING ?SITE)                             (exists (?BUYING)                                 (and                                     (instance ?BUYING Buying)                                     (patient ?BUYING ?ITEM)                                     (eCommerceSite ?BUYING ?SITE)))))))             (CardinalityFn ?COLL))         (BidCountFn ?COLL)))	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於 部 基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
(=>     (and         (instance ?COLL Collection)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?COLL)                 (instance ?MEMBER WebListing))))     (exists (?BIDDING ?ITEM ?LISTING ?BIDDING)         (equal             (CardinalityFn                 (KappaFn ?BIDDING                     (and                         (instance ?ITEM Physical)                         (instance ?LISTING WebListing)                         (instance ?BIDDING Bidding)                         (member ?LISTING ?COLL)                         (objectOfBid ?BIDDING ?ITEM)                         (patient ?LISTING ?ITEM))))             (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2922-2940	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString 等於 基數 卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
(=>     (and         (instance ?COMMENTING Commenting)         (instance ?PROCESS Process)         (patient ?COMMENTING ?PROCESS))     (exists (?AGENT ?SPEAKING ?LOOKING)         (and             (instance ?AGENT AutonomousAgent)             (instance ?SPEAKING Speaking)             (instance ?LOOKING Looking)             (agent ?SPEAKING ?AGENT)             (agent ?LOOKING ?AGENT)             (patient ?LOOKING ?PROCESS)             (refers ?SPEAKING ?PROCESS))))	Mid-level-ontology.kif 15886-15899	例 Process and Commenting 例 Entity and Process 患者 Process and Entity AutonomousAgent Process and Process 例 AutonomousAgent and AutonomousAgent 例 Process and 說話 例 Process and 看著 agent Process and AutonomousAgent agent Process and AutonomousAgent 患者 Process and Entity 參照 Process and Entity
(=>     (and         (instance ?CONFINE Confining)         (patient ?CONFINE ?PERSON)         (instance ?PERSON Human))     (not         (desires ?PERSON             (patient ?CONFINE ?PERSON))))	Merge.kif 12234-12239	例 Process and Confining 患者 Process and CognitiveAgent 例 CognitiveAgent and Human 慾望 CognitiveAgent and 患者 Process and CognitiveAgent
(=>     (and         (instance ?Card DebitCard)         (possesses ?Agent ?Card)         (instance ?Transaction FinancialTransaction)         (instrument ?Transaction ?Card))     (exists (?PIN ?Enter)         (and             (pin ?PIN ?Card)             (instance ?Enter EnteringAPin)             (patient ?Enter ?PIN)             (agent ?Enter ?Agent))))	FinancialOntology.kif 3543-3554	例 銀行卡 and 金融卡 擁有 AutonomousAgent and 銀行卡 例 Process and FinancialTransaction 儀器 Process and 銀行卡 SymbolicString Process 銀行卡 是 SymbolicString 的 pin 例 Process and 輸入PIN碼 患者 Process and SymbolicString agent Process and AutonomousAgent
(=>     (and         (instance ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 137-146	例 Entity and 校驗 例 Process and 處理檢查 患者 Process and Entity Process 例 Process and 存款支票 患者 Process and Entity 時間 Process and 不久的過去 何時 Process
(=>     (and         (instance ?Check VerifyingCardCode)         (patient ?Check ?Code)         (cardCode ?Code ?Card))     (exists (?Decode)         (and             (instance ?Decode Decoding)             (subProcess ?Decode ?Check)             (patient ?Decode ?Code))))	FinancialOntology.kif 3572-3581	例 Process and 驗證卡代碼 患者 Process and ContentBearingObject 銀行卡 是 ContentBearingObject 的 card 代號 Process 例 Process and Decoding 子過程 Process and Process 患者 Process and ContentBearingObject
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