(=>     (and         (holdsDuring ?YEAR             (annualImportTotal ?AREA ?AMOUNT))         (instance ?YEAR ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2931-2938	持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸入 例 TimePosition and TimeInterval 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure import 全部
(=>     (and         (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD)         (or             (subclass ?PERIOD Year)             (subclass ?PERIOD                 (FiscalYearFn ?AREA))))     (exists (?YEAR)         (and             (instance ?YEAR ?PERIOD)             (holdsDuring ?YEAR                 (annualImportTotal ?AREA ?AMOUNT)))))	Economy.kif 2920-2929	GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure import 全部 子類 TimeInterval and 年 子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸入
(=>     (and         (instance ?A Ambulating)         (subProcess ?S1 ?A)         (instance ?S1 Stepping)         (subProcess ?S2 ?A)         (instance ?S2 Stepping)         (equal ?S1START             (BeginFn                 (WhenFn ?S1)))         (equal ?S2START             (BeginFn                 (WhenFn ?S2)))         (not             (or                 (before ?S1START ?S2START)                 (before ?S2START ?S1START))))     (equal ?S1 ?S2))	Mid-level-ontology.kif 494-507	例 Process and 走動 子過程 Process and Process 例 Process and 步進 子過程 Process and Process 例 Process and 步進 等於 ProcessSTART and 開始 何時 Process 等於 ProcessSTART and 開始 何時 Process 之前 ProcessSTART and ProcessSTART 之前 ProcessSTART and ProcessSTART 等於 Process and Process
(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (exists (?MAINTAINING)             (and                 (instance ?MAINTAINING Maintaining)                 (instrument ?MAINTAINING ?A)                 (experiencer ?MAINTAINING ?OBJ)))))	MilitaryDevices.kif 1776-1787	例 Object and 盔甲 部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
(=>     (and         (instance ?A Armor)         (or             (part ?A ?OBJ)             (meetsSpatially ?A ?OBJ)))     (hasPurpose ?A         (not             (exists (?DAMAGING)                 (and                     (instance ?DAMAGING Damaging)                     (instrument ?DAMAGING ?A)                     (experiencer ?DAMAGING ?OBJ))))))	MilitaryDevices.kif 1789-1801	例 Object and 盔甲 部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Damaging 儀器 entity and Object 體驗者 entity and Object
(=>     (and         (instance ?B Buying)         (patient ?B ?ITEM)         (origin ?B ?AGENT)         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validPaymentType ?PS ?PAY))     (modalAttribute         (exists (?PAYMENT)             (and                 (instance ?PAYMENT ?PAY)                 (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	例 Process and Buying 患者 Process and Entity 起源 Process and CognitiveAgent Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下 對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity 付款 是 valid payment 在 PricingScheme 底下 模態屬性 付款MENT 例 付款MENT and 付款 子過程 付款MENT and Process and 容易
(=>     (and         (instance ?C Colloid)         (part ?P ?C)         (or             (attribute ?P Solid)             (attribute ?P Liquid))         (instance ?AIR Air)         (part ?AIR ?C))     (instance ?C Aerosal))	Geography.kif 7711-7720	例 Object and 膠體 部分 Object and Object attribute Object and 固體 attribute Object and 液體 例 Object and 空氣 部分 Object and Object 例 Object and Aerosal
(=>     (and         (instance ?C MuscularContraction)         (moves ?C ?M)         (or             (instance ?M VoluntaryMuscle)             (instance ?M HeartMuscle)))     (exists (?T)         (and             (instance ?T Troponin)             (resource ?C ?T))))	Medicine.kif 3957-3967	例 Motion and MuscularContraction 移動 Motion and Object 例 Object and VoluntaryMuscle 例 Object and HeartMuscle Object 例 Object and Troponin 資源 Motion and Object
(=>     (and         (instance ?H Hurricane)         (eventLocated ?H ?P)         (instance ?P GeographicArea)         (or             (located ?P ?SEA)             (meetsSpatially ?P ?SEA)))     (or         (equal ?SEA NortheasternPacificOcean)         (equal ?SEA NorthAtlanticOcean)))	Weather.kif 737-747	例 Process and 颶風 Process 是 located 在 Object 例 Object and GeographicArea 位於 Object and Object 空間的符合 Object and Object 等於 Object and NortheasternPacificOcean 等於 Object and 北大西洋
(=>     (and         (instance ?M Meal)         (member ?H ?M)         (or             (instance ?H Coffee)             (instance ?H Tea))         (member ?J ?M)         (instance ?J Juice)         (member ?B ?M)         (instance ?B BreadOrBiscuit)         (member ?B ?M)         (instance ?B Butter)         (member ?JA ?M)         (instance ?JA Jam))     (attribute ?M ContinentalBreakfast))	Food.kif 1737-1752	例 Collection and Meal 會員 Physical and Collection 例 Physical and 咖啡 例 Physical and 茶 會員 Physical and Collection 例 Physical and Juice 會員 Physical and Collection 例 Physical and 麵包或餅乾 會員 Physical and Collection 例 Physical and 奶油 會員 PhysicalA and Collection 例 PhysicalA and Jam attribute Collection and ContinentalBreakfast
(=>     (and         (instance ?NATION Nation)         (or             (geographicSubregion ?NATION NorthAmerica)             (geographicSubregion ?NATION SouthAmerica)             (geographicSubregion ?NATION WesternEurope)))     (holdsDuring         (WhenFn ?NATION)         (nationalHoliday ?NATION ChristmasDay)))	Media.kif 349-357	例 GeographicArea and Nation GeographicArea 是 北美 的 geographic 次要地區 GeographicArea 是 南美洲 的 geographic 次要地區 GeographicArea 是 西歐 的 geographic 次要地區 持有期間 何時 GeographicArea and ChristmasDay 是 GeographicArea 的 &ationalHoliday$"national" 節日
(=>     (and         (instance ?PERSON Human)         (instance ?WRITE Writing)         (or             (instance ?TEXT Text)             (instance ?TEXT Document))         (result ?WRITE ?TEXT)         (agent ?WRITE ?PERSON))     (attribute ?PERSON Writer))	Biography.kif 750-759	例 AutonomousAgent and Human 例 Process and Writing 例 Entity and Text 例 Entity and Document 結果 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 作家
(=>     (and         (instance ?PROC ChemicalProcess)         (or             (resource ?PROC ?STUFF)             (result ?PROC ?STUFF)))     (instance ?STUFF PureSubstance))	Merge.kif 12653-12659	例 Process and ChemicalProcess 資源 Process and Object 結果 Process and Object 例 Object and PureSubstance
(=>     (and         (instance ?TC TropicalCyclonicSystem)         (origin ?TC ?SEA)         (or             (instance ?SEA NorthAtlanticOcean)             (instance ?SEA PacificOcean)             (instance ?SEA IndianOcean)))     (not         (exists (?AREA ?DIR ?NUM ?LONG)             (and                 (located ?AREA ?SEA)                 (instance ?DIR DirectionalAttribute)                 (objectGeographicCoordinates ?AREA                     (LatitudeFn ?DIR                         (MeasureFn ?NUM AngularDegree)) ?LONG)                 (or                     (equal ?DIR North)                     (equal ?DIR South))                 (lessThan ?NUM 5.0)))))	Weather.kif 611-630	例 Process and TropicalCyclonicSystem 起源 Process and Object 例 Object and 北大西洋 例 Object and 太平洋 例 Object and 印度洋 Object DirectionalAttribute, RealNumber and 經度 位於 Object and Object 例 DirectionalAttribute and DirectionalAttribute Object 是 對於 經度 的 object 地理座標 測量 RealNumber and 圓周角度 的 region DirectionalAttribute 等於 DirectionalAttribute and 北 等於 DirectionalAttribute and 南 少於 RealNumber and 5.0
(=>     (and         (instance ?UW UnconventionalWarfare)         (agent ?UW ?AGENT)         (not             (equal ?AGENT ?POPULACE))         (not             (equal ?AGENT                 (GovernmentFn ?NATION)))         (patient ?UW ?POPULACE)         (or             (member ?POPULACE                 (ResidentFn ?NATION))             (subCollection ?POPULACE                 (ResidentFn ?NATION))))     (exists (?CONTEST)         (and             (instance ?CONTEST Contest)             (agent ?CONTEST ?POPULACE)             (agent ?CONTEST                 (GovernmentFn ?NATION)))))	MilitaryProcesses.kif 163-183	例 Process and 非常規戰爭 agent Process and Government 等於 Government and AutonomousAgent 等於 Government and 政府 GeopoliticalArea 患者 Process and AutonomousAgent 會員 AutonomousAgent and GeopoliticalArea 的 resident 子集合 AutonomousAgent and GeopoliticalArea 的 resident Process 例 Process and Contest agent Process and AutonomousAgent agent Process and 政府 GeopoliticalArea
(=>     (and         (instance ?X Substance)         (or             (attribute ?X Gas)             (attribute ?X Liquid)             (attribute ?X Plasma)))     (attribute ?X Fluid))	Merge.kif 17762-17769	例 Object and Substance attribute Object and 加油站 attribute Object and 液體 attribute Object and 等離子體 attribute Object and 流體
(=>     (and         (names ?NAMESTRING ?OBJ)         (or             (nameAfterKeyName ?STRING ?KEY ?NAMESTRING)             (equal ?STRING ?KEY)))     (nameIndexOrder ?NAMESTRING ?OBJ))	Media.kif 3358-3364	名 SymbolicString and Entity SymbolicString 是 &ameAfterKeyName$"after" &ameAfterKeyName$"key" SymbolicString 在 SymbolicString 等於 SymbolicString and SymbolicString SymbolicString 是 &ameIndexOrder$"indexable" &ameIndexOrder$"name" 對於 Entity
(=>     (and         (or             (instance ?ROLE OccupationalTrade)             (instance ?ROLE Profession))         (holdsDuring ?T1             (attribute ?HUMAN ?ROLE)))     (exists (?FIELD)         (and             (subclass ?FIELD FieldOfStudy)             (holdsDuring ?T1                 (hasExpertise ?HUMAN ?FIELD)))))	Mid-level-ontology.kif 9499-9508	例 Entity and 職業貿易 例 Entity and 職業 持有期間 TimePosition and attribute entity and Entity Class 子類 Class and FieldOfStudy 持有期間 TimePosition and Class 有 在 entity 的專業知識
(=>     (and         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validFor ?PS ?CUSTCLASS)         (instance ?CUSTOMER ?CUSTCLASS))     (modalAttribute         (=>             (and                 (instance ?B Buying)                 (agent ?B ?CUSTOMER)                 (origin ?B ?AGENT)                 (patient ?B ?ITEM))             (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 354-370	Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下 對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and AutonomousAgent 模態屬性 例 entity and Buying agent entity and Entity 起源 entity and CognitiveAgent 患者 entity and Entity CurrencyMeasure 是 entity 的 transaction 總額 and 容易
(=>     (and         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validityPeriod ?PS ?TIMEINT))     (holdsDuring ?TIMEINT         (modalAttribute             (=>                 (and                     (instance ?S Selling)                     (agent ?S ?AGENT)                     (patient ?S ?ITEM))                 (transactionAmount ?S ?PRICE)) Likely)))	Catalog.kif 372-387	Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 CurrencyMeasure unit price 已收費 CognitiveAgent 在 PricingScheme 底下 對於 FunctionQuantity 是 Entity 子類 Entity and Physical 立即實例 Entity and Entity PricingScheme 是 valid during TimeInterval 持有期間 TimeInterval and 模態屬性 例 entity and Selling agent entity and CognitiveAgent 患者 entity and Entity CurrencyMeasure 是 entity 的 transaction 總額 and 容易
(=>     (and         (paidFunctionRoomAmenity ?FR ?PHYS)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?AGENT))         (instance ?R Renting)         (patient ?R ?RM)         (destination ?R ?CUST)         (instance ?X ?PHYS)         (possesses ?AGENT ?X)         (customer ?CUST ?AGENT)         (or             (and                 (instance ?X Process)                 (or                     (agent ?X ?CUST)                     (experiencer ?X ?CUST)))             (and                 (possesses ?AGENT ?X)                 (instance ?X Object)                 (uses ?X ?CUST))))     (exists (?PRICE ?U)         (and             (price ?X                 (MeasureFn ?PRICE ?U) ?AGENT)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 879-905	HotelFunctionRoom 的 承租人 能 pay 去使用 Physical 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租 患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent RealNumber UnitOfMeasure Object 是 對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
(=>     (and         (paidPropertyAmenity ?AGENT ?PHYS)         (instance ?X ?PHYS)         (customer ?CUST ?AGENT)         (or             (and                 (instance ?X Process)                 (or                     (agent ?X ?CUST)                     (experiencer ?X ?CUST)))             (and                 (possesses ?AGENT ?X)                 (instance ?X Object)                 (uses ?X ?CUST))))     (exists (?PRICE ?U)         (and             (price ?X                 (MeasureFn ?PRICE ?U) ?AGENT)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 573-593	AutonomousAgent 的 承租人 能 pay 去使用 Physical 例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent RealNumber UnitOfMeasure Process 是 對於 AutonomousAgent 的 price 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 RealNumber and 0
(=>     (and         (paidRoomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?O ?OBJ)         (located ?O ?R)         (instance ?P Process)         (agent ?P ?GUEST)         (or             (located ?P ?R)             (patient ?P ?O)             (instrument ?P ?O)             (resource ?P ?O)))     (exists (?PRICE ?U)         (and             (price ?O                 (MeasureFn ?PRICE ?U) ?GUEST)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 396-417	HotelUnit 的 承租人 能 pay 去使用 Physical 子類 Physical and Object 例 暫住 and HotelUnit Human stays 在 暫住 元件 暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住 例 Process and Process agent Process and Human 位於 Process and 暫住 患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是 對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
(=>     (and         (paidRoomAmenity ?ROOM ?PROC)         (subclass ?PROC Process)         (instance ?R ?ROOM)         (stays ?GUEST ?R)         (element ?R             (PropertyFn ?HOTEL))         (patient ?P ?GUEST)         (or             (instance ?P ?PROC)             (and                 (instance ?S ?PROC)                 (subProcess ?P ?S)))         (located ?P ?R))     (exists (?PRICE ?U)         (and             (price ?P                 (MeasureFn ?PRICE ?U) ?GUEST)             (instance ?U UnitOfCurrency)             (greaterThan ?PRICE 0))))	Hotel.kif 419-438	HotelUnit 的 承租人 能 pay 去使用 Physical 子類 Physical and Process 例 暫住 and HotelUnit Human stays 在 暫住 元件 暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 ProcessRICE UnitOfMeasure Process 是 對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
(=>     (and         (parent ?CHILD ?PARENT)         (or             (instance ?CHILD HumanChild)             (instance ?CHILD HumanBaby)))     (modalAttribute         (exists (?CARE)             (and                 (instance ?CARE ChildCareService)                 (desires ?PARENT ?CARE))) Possibility))	Hotel.kif 1901-1911	親 Organism and Organism 例 Organism and 人類的孩子 例 Organism and 人類寶貝 模態屬性 entity 例 entity and ChildCareService 慾望 Organism 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