(=>     (instance ?SVC TransportationService)     (exists (?VEHICLE ?AGENT ?TRANS ?CUST)         (and             (agent ?SVC ?AGENT)             (possesses ?AGENT ?VEHICLE)             (customer ?CUST ?AGENT)             (instance ?VEHICLE Vehicle)             (instance ?TRANS Transportation)             (agent ?TRANS ?AGENT)             (patient ?TRANS ?CUST)             (instrument ?TRANS ?VEHICLE)             (subProcess ?TRANS ?SVC))))	Transportation.kif 3340-3352	例 Process and TransportationService Object AutonomousAgent, Process and CognitiveAgent agent Process and AutonomousAgent 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and 車輛 例 Process and Transportation agent Process and AutonomousAgent 患者 Process and CognitiveAgent 儀器 Process and Object 子過程 Process and Process
(=>     (instance ?Title Title)     (exists (?Property ?Agent)         (containsInformation ?Title             (possesses ?Agent ?Property))))	FinancialOntology.kif 3932-3935	例 內容承載物理 and 標題 entity entity 包含信息 內容承載物理 and 擁有 entity and entity
(=>     (instance ?X CurrencyExchangeService)     (exists (?AMT1 ?CURR1 ?AMT2 ?CURR2 ?CUST ?M1 ?M2 ?NUM1 ?NUM2)         (and             (agent ?X ?CUST)             (not                 (equal ?CURR1 ?CURR2))             (instance ?AMT1 CurrencyMeasure)             (instance ?AMT2 CurrencyMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?X))                 (and                     (monetaryValue ?M1 ?AMT1)                     (possesses ?CUST ?M1)                     (equal ?AMT1                         (MeasureFn ?NUM1 ?CURR1))))             (holdsDuring                 (EndFn                     (WhenFn ?X))                 (and                     (monetaryValue ?M2 ?AMT2)                     (possesses ?CUST ?M2)                     (not                         (possesses ?CUST ?M1))                     (equal ?AMT2                         (MeasureFn ?NUM2 ?CURR2)))))))	Hotel.kif 2104-2124	例 Process and CurrencyExchangeService Entity entity, Entity, entity, AutonomousAgent, entity, entity, entity and entity agent Process and AutonomousAgent 等於 entity and entity 例 Entity and CurrencyMeasure 例 Entity and CurrencyMeasure 持有期間 開始 何時 Process and 貨幣價值 entity and Entity 擁有 AutonomousAgent and entity 等於 Entity and 測量 entity and entity 持有期間 結束 何時 Process and 貨幣價值 entity and Entity 擁有 AutonomousAgent and entity 擁有 AutonomousAgent and entity 等於 Entity and 測量 entity and entity
(=>     (instance ?X EducationalFacility)     (exists (?ORG)         (and             (instance ?ORG EducationalOrganization)             (possesses ?ORG ?X))))	Mid-level-ontology.kif 22580-22585	例 Object and 教育設施 AutonomousAgent 例 AutonomousAgent and EducationalOrganization 擁有 AutonomousAgent and Object
(=>     (instance ?X EmbassyBuilding)     (exists (?EGOV ?OTHERGOV)         (and             (instance ?EGOV Nation)             (instance ?OTHERGOV Nation)             (not                 (equal ?EGOV ?OTHERGOV))             (possesses ?EGOV ?X)             (located ?X ?OTHERGOV))))	Mid-level-ontology.kif 22378-22387	例 Object and 使館大樓 AutonomousAgent Object 例 AutonomousAgent and Nation 例 Object and Nation 等於 AutonomousAgent and Object 擁有 AutonomousAgent and Object 位於 Object and Object
(=>     (instance ?X GovernmentBuilding)     (exists (?G)         (and             (instance ?G Government)             (possesses ?G ?X))))	Mid-level-ontology.kif 22404-22409	例 Object and 政府大樓 AutonomousAgent 例 AutonomousAgent and Government 擁有 AutonomousAgent and Object
(=>     (instance ?X Hijacking)     (exists (?V ?A)         (and             (agent ?X ?A)             (instance ?V TransportationDevice)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?X))                 (not                     (possesses ?A ?V)))             (holdsDuring                 (WhenFn ?X)                 (possesses ?A ?V)))))	Mid-level-ontology.kif 21903-21916	例 Process and 劫持 Entity AutonomousAgent agent Process and AutonomousAgent 例 Entity and TransportationDevice 持有期間 不久的過去 何時 Process and 擁有 AutonomousAgent and Entity 持有期間 何時 Process and 擁有 AutonomousAgent and Entity
(=>     (instance ?X RestaurantBuilding)     (hasPurpose ?X         (exists (?OWN ?EMP ?EV ?P ?PAY)             (and                 (employs ?OWN ?EMP)                 (possesses ?OWN ?X)                 (instance ?P Human)                 (instance ?PAY FinancialTransaction)                 (agent ?PAY ?P)                 (patient ?PAY ?EMP)                 (confersRight ?EMP ?EV ?P)                 (instance ?EV Eating)                 (agent ?EV ?P)                 (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22559-22573	例 Physical and 餐廳建築 有目的 Physical and entity entity, entity, entity and entityAY 採用 entity and entity 擁有 entity and Physical 例 entity and Human 例 entityAY and FinancialTransaction agent entityAY and entity 患者 entityAY and entity 賦予權利 entity, entity and entity 例 entity and Eating agent entity and entity entity 是 located 在 Physical
(=>     (landlord ?L ?U)     (exists (?R ?P)         (and             (possesses ?L ?U)             (tenant ?P ?U)             (agent ?R ?P)             (instance ?R Renting)             (patient ?R ?U))))	Mid-level-ontology.kif 6890-6898	永久居留權 是 AutonomousAgent 的 landlord Process AutonomousAgent 擁有 AutonomousAgent and 永久居留權 永久居留權 是 AutonomousAgent 的 tenant agent Process and AutonomousAgent 例 Process and 租 患者 Process and 永久居留權
(=>     (managedBy ?OBJ ?AGENT)     (exists (?AGENT2 ?MAN)         (and             (possesses ?AGENT2 ?OBJ)             (instance ?MAN Managing)             (patient ?MAN ?OBJ)             (agent ?MAN ?AGENT))))	Hotel.kif 648-655	Object 是由 AutonomousAgent managed AutonomousAgent2 Process 擁有 AutonomousAgent2 and Object 例 Process and Managing 患者 Process and Object agent Process and AutonomousAgent
(=>     (rents ?CUST ?AGENT ?OBJ ?TI)     (holdsDuring ?TI         (exists (?RENT)             (and                 (instance ?RENT Renting)                 (patient ?RENT ?OBJ)                 (agent ?RENT ?CUST)                 (possesses ?AGENT ?OBJ)))))	Mid-level-ontology.kif 29989-29997	AutonomousAgent rents Object 給 AutonomousAgent 在其間 TimeInterval 持有期間 TimeInterval and entity 例 entity and 租 患者 entity and Object agent entity and AutonomousAgent 擁有 AutonomousAgent and Object
(=>     (shortage ?A ?O ?C ?T ?Q)     (desires ?A         (exists (?I)             (and                 (instance ?I ?O)                 (possesses ?A ?I)))))	Mid-level-ontology.kif 30878-30884	shortage CognitiveAgent, Object, CurrencyMeasure, TimeInterval and Quantity 慾望 CognitiveAgent and entity 例 entity and Object 擁有 CognitiveAgent and entity
(=>     (tenant ?P ?U)     (exists (?L ?R)         (and             (instance ?R Renting)             (landlord ?L ?U)             (agent ?R ?P)             (possesses ?L ?U)             (patient ?R ?U))))	Mid-level-ontology.kif 6906-6914	永久居留權 是 AutonomousAgent 的 tenant AutonomousAgent Process 例 Process and 租 永久居留權 是 AutonomousAgent 的 landlord agent Process and AutonomousAgent 擁有 AutonomousAgent and 永久居留權 患者 Process and 永久居留權
(=>     (thirdPartyProduct ?ART ?ORG ?AG)     (possesses ?AG ?ART))	ComputingBrands.kif 3941-3943	thirdPartyProduct Artifact, Organization and AutonomousAgent 擁有 AutonomousAgent and Artifact
(=>     (visitorParameter ?VISITOR ?FORMULA ?SITE)     (exists (?AGENT)         (and             (instance ?AGENT CognitiveAgent)             (possesses ?AGENT ?SITE)             (knows ?AGENT ?FORMULA))))	UXExperimentalTerms.kif 1179-1185	Formula 是 known 關於 拜訪 WebSite 的 AutonomousAgent CognitiveAgent 例 CognitiveAgent and CognitiveAgent 擁有 CognitiveAgent and WebSite 知道 CognitiveAgent and Formula

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