(=>     (and         (domainSubclass ?REL ?NUMBER ?CLASS1)         (domainSubclass ?REL ?NUMBER ?CLASS2))     (or         (subclass ?CLASS1 ?CLASS2)         (subclass ?CLASS2 ?CLASS1)))	Merge.kif 238-244	域子類 Relation, PositiveInteger and Class 域子類 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class
(=>     (and         (equal ?P             (OrganicObjectFn ?ORG))         (subclass ?P Object))     (or         (subclass ?ORG Organism)         (subclass ?ORG AnatomicalStructure)))	Economy.kif 5599-5606	equal Object and OrganicObjectFn OrganicObject 子類 Object and Object 子類 OrganicObject and Organism 子類 OrganicObject and AnatomicalStructure
(=>     (and         (equal ?S             (OrganicObjectFn ?F))         (subclass ?S Suet)         (subclass ?F FatTissue))     (or         (initialPart ?F Cattle)         (initialPart ?F Sheep)))	Food.kif 2913-2921	equal Object and OrganicObjectFn Object 子類 Object and Suet 子類 Object and FatTissue %每個 Object 是 牛 的 initially part %每個 Object 是 羊 的 initially part
(=>     (and         (equal ?W             (OrganicObjectFn ?S))         (subclass ?W CherryWood)         (subclass ?S PlantStem))     (or         (initialPart ?S BlackCherryTree)         (initialPart ?S SweetCherryTree)))	Economy.kif 5667-5674	equal Object and OrganicObjectFn Object 子類 Object and CherryWood 子類 Object and PlantStem %每個 Object 是 BlackCherryTree 的 initially part %每個 Object 是 SweetCherryTree 的 initially part
(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 815-836	Physical 的使用對於 HotelFunctionRoom 是免費 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Entity 子類 Physical and Object 模態屬性 entity entity 例 entity and Physical 例 entity and Process 資源 entity and entity 儀器 entity and entity 患者 entity and entity agent entity and Entity 體驗者 entity and Entity and 可能性
(=>     (and         (guest ?CUST ?HOTEL)         (stays ?CUST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?R ?ROOM)         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (exists (?O)         (and             (instance ?O ?OBJ)             (located ?O ?R)             (confersRight                 (exists (?PROC)                     (and                         (agent ?PROC ?CUST)                         (or                             (instrument ?PROC ?O)                             (patient ?PROC ?O)                             (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	Human 是在 AutonomousAgent 的 guest Human stays 在 暫住 元件 暫住 and 屬性 AutonomousAgent 例 暫住 and 暫住OOM Physical 是 amenity 在 暫住OOM 子類 Physical and Object Physical 例 Physical and Physical 位於 Physical and 暫住 賦予權利 entity agent entity and Human 儀器 entity and Physical 患者 entity and Physical 資源 entity and Physical, AutonomousAgent and Human
(=>     (and         (hasGUEState ?WIN1 GUE_UncoveredState)         (hasGUEState ?WIN1 GUE_MaximizedWindowState)         (screenOfGUIE ?WIN1 ?SCREEN)         (instance ?WIN2 InterfaceWindow)         (screenOfGUIE ?WIN2 ?SCREEN)         (not             (equal ?WIN1 ?WIN2)))     (or         (hasGUEState ?WIN2 GUE_CoveredState)         (hasGUEState ?WIN2 GUE_PartiallyCoveredState)         (hasGUEState ?WIN2 GUE_OffscreenState)))	ComputerInput.kif 2120-2131	GUIElement 有 state GUE_UncoveredState GUIElement 有 state GUE_MaximizedWindowState GUIElement 是 displayed 在 ComputerScreen 例 GUIElement and InterfaceWindow GUIElement 是 displayed 在 ComputerScreen equal GUIElement and GUIElement GUIElement 有 state GUE_CoveredState GUIElement 有 state GUE_PartiallyCoveredState GUIElement 有 state GUE_OffscreenState
(=>     (and         (hole ?HOLE ?OBJ1)         (part ?OBJ1 ?OBJ2))     (or         (overlapsSpatially ?HOLE ?OBJ2)         (hole ?HOLE ?OBJ2)))	Merge.kif 10041-10047	hole HoleRegion and SelfConnectedObject 部分 SelfConnectedObject and SelfConnectedObject 在空間上重疊 HoleRegion and SelfConnectedObject hole HoleRegion and SelfConnectedObject
(=>     (and         (inList ?ITEM ?RESULTS)         (instance ?RESULTS SRPResults))     (or         (instance ?ITEM WebListing)         (instance ?ITEM WebPage)))	UXExperimentalTerms.kif 2483-2489	在列表中 Entity and List 例 List and SRPResults 例 Entity and WebListing 例 Entity and WebPage
(=>     (and         (instance ?A Anesthetizing)         (patient ?A ?P))     (holdsDuring         (WhenFn ?A)         (or             (attribute ?P Unconscious)             (not                 (attribute ?P Pain)))))	Medicine.kif 940-949	例 Process and Anesthetizing 患者 Process and Entity 持有期間 何時 Process and attribute Entity and Unconscious attribute Entity and 痛
(=>     (and         (instance ?A Animal)         (instance ?S AnimalShell)         (part ?S ?A))     (or         (instance ?A Invertebrate)         (instance ?A Reptile)))	Mid-level-ontology.kif 12862-12869	例 Object and Animal 例 Object and 動物殼 部分 Object and Object 例 Object and Invertebrate 例 Object and Reptile
(=>     (and         (instance ?A Omnivore)         (agent ?E ?A)         (instance ?E Eating)         (patient ?E ?F))     (or         (instance ?F Plant)         (instance ?F Animal)         (instance ?F Fungus)))	Mid-level-ontology.kif 21667-21676	例 AutonomousAgent and Omnivore agent Process and AutonomousAgent 例 Process and Eating 患者 Process and Entity 例 Entity and Plant 例 Entity and Animal 例 Entity and Fungus
(=>     (and         (instance ?ACCELERATE Accelerating)         (agent ?ACCELERATE ?AGENT))     (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn                         (MeasureFn ?LENGTH1 ?U1)                         (MeasureFn ?TIME1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn                         (MeasureFn ?LENGTH2 ?U1)                         (MeasureFn ?TIME2 ?U2))))             (or                 (greaterThan ?LENGTH2 ?LENGTH1)                 (greaterThan ?TIME2 ?TIME1)))))	Mid-level-ontology.kif 18530-18551	例 Process and 加速 agent Process and AutonomousAgent RealNumber RealNumber, RealNumber, RealNumber, entity and entity 持有期間 開始 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 持有期間 結束 何時 Process and 測量 AutonomousAgent and 速度 測量 RealNumber and entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
(=>     (and         (instance ?ACT Ingesting)         (resource ?ACT ?F))     (or         (instance ?F             (FoodForFn Organism))         (instance ?F Medicine)))	Merge.kif 10392-10398	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
(=>     (and         (instance ?ACT OrganizationalProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT Organization)         (exists (?ORG)             (and                 (instance ?ORG Organization)                 (member ?AGENT ?ORG)))))	Merge.kif 10678-10687	例 Process and OrganizationalProcess agent Process and AutonomousAgent 例 AutonomousAgent and Organization Collection 例 Collection and Organization 會員 AutonomousAgent and Collection
(=>     (and         (instance ?ACT ReligiousProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT ReligiousOrganization)         (exists (?ORG)             (and                 (member ?AGENT ?ORG)                 (instance ?ORG ReligiousOrganization)))))	Merge.kif 10700-10709	例 Process and ReligiousProcess agent Process and AutonomousAgent 例 AutonomousAgent and ReligiousOrganization Collection 會員 AutonomousAgent and Collection 例 Collection and ReligiousOrganization
(=>     (and         (instance ?AGENT AutonomousAgent)         (subclass             (ElectionFn ?AGENT) Election))     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 1654-1660	例 AutonomousAgent and AutonomousAgent 子類 AutonomousAgent 的 election and 選舉 例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT LongRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 2438)                 (lessThanOrEqualTo ?LENGTH 3047)))))	Transportation.kif 1574-1586	例 Object and 飛機場 attribute Object and 長跑道機場 Object RealNumber 例 Object and 跑道 部分 Object and Object length Object and 測量 RealNumber and 儀表 大於或等於 RealNumber and 2438 小於或等於 RealNumber and 3047
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT MediumLengthRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 1524)                 (lessThanOrEqualTo ?LENGTH 2437)))))	Transportation.kif 1555-1567	例 Object and 飛機場 attribute Object and 中長跑道機場 Object RealNumber 例 Object and 跑道 部分 Object and Object length Object and 測量 RealNumber and 儀表 大於或等於 RealNumber and 1524 小於或等於 RealNumber and 2437
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT ShortRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 914)                 (lessThanOrEqualTo ?LENGTH 1523)))))	Transportation.kif 1536-1548	例 Object and 飛機場 attribute Object and 短跑道機場 Object RealNumber 例 Object and 跑道 部分 Object and Object length Object and 測量 RealNumber and 儀表 大於或等於 RealNumber and 914 小於或等於 RealNumber and 1523
(=>     (and         (instance ?ALT ShapeChange)         (patient ?ALT ?OBJ))     (exists (?PROPERTY)         (and             (instance ?PROPERTY ShapeAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?OBJ ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?OBJ ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?OBJ ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?OBJ ?PROPERTY)))))))	Merge.kif 12810-12823	例 Process and ShapeChange 患者 Process and Entity Entity 例 Entity and ShapeAttribute 持有期間 開始 何時 Process and attribute Entity and Entity 持有期間 結束 何時 Process and attribute Entity and Entity 持有期間 開始 何時 Process and attribute Entity and Entity 持有期間 結束 何時 Process and attribute Entity and Entity
(=>     (and         (instance ?ALT SurfaceChange)         (patient ?ALT ?OBJ))     (exists (?PART ?PROPERTY)         (and             (superficialPart ?PART ?OBJ)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12770-12783	例 Process and SurfaceChange 患者 Process and Object Object entity 膚淺的部分 Object and Object 持有期間 開始 何時 Process and attribute Object and entity 持有期間 結束 何時 Process and attribute Object and entity 持有期間 開始 何時 Process and attribute Object and entity 持有期間 結束 何時 Process and attribute Object and entity
(=>     (and         (instance ?ATTR MusicGenre)         (attribute ?A ?ATTR))     (or         (instance ?A MakingMusic)         (instance ?A MusicRecording)))	Music.kif 513-519	例 Attribute and MusicGenre attribute Object and Attribute 例 Object and MakingMusic 例 Object and 音樂錄音
(=>     (and         (instance ?Account CheckingAccount)         (instance ?Transaction FinancialTransaction)         (origin ?Transaction             (CurrencyFn ?Account)))     (or         (exists (?Check)             (and                 (instance ?Check Check)                 (instrument ?Transaction ?Check)))         (exists (?DebitCard)             (and                 (instance ?DebitCard DebitCard)                 (instrument ?Transaction ?DebitCard)))))	FinancialOntology.kif 1145-1158	例 金融賬戶 and 支票賬戶 例 Process and FinancialTransaction 起源 Process and 金融賬戶 的 currency Object 例 Object and 校驗 儀器 Process and Object Object 例 Object and 金融卡 儀器 Process and Object
(=>     (and         (instance ?B Bleeding)         (experiencer ?B ?H))     (exists (?VA ?D)         (and             (or                 (instance ?VA Vein)                 (instance ?VA Artery))             (part ?VA ?H)             (instance ?D Damaging)             (earlier                 (WhenFn ?D)                 (WhenFn ?B))             (patient ?D ?VA))))	Medicine.kif 80-94	例 Process and 流血的 體驗者 Process and AutonomousAgent Object Process 例 Object and 靜脈 例 Object and 動脈 部分 Object and AutonomousAgent 例 Process and Damaging 早期 何時 Process and 何時 Process 患者 Process and Object
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