No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	例 Process and Spamming 結果 Process and ProcessPAM 例 Process and Spam 例 Entity and Human 目的地 Process and Entity 模態屬性 想要 Entity and ProcessPAM and 容易
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	例 Process and 說話 例 Object and Jaw agent Process and AutonomousAgent 部分 Object and AutonomousAgent 模態屬性 entity 例 entity and BodyMotion objectTransferred entity and Object 期間 何時 entity and 何時 Process and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9566-9571	例 Entity and PlantStem 例 Entity and 植物根 模態屬性 方位 Entity, Entity and 以上 and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	例 TimeInterval and TimePeriod 持續時間 TimeInterval and 測量 RealNumber and 分鐘 比較多 RealNumber and 5.0 例 Entity and Human Process 例 Process and Breathing 期間 何時 Process and TimeInterval 患者 Process and Entity 模態屬性 entity 例 entity and Death 體驗者 entity and Entity 短暫相遇 TimeInterval and 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1979-1988	例 Transfer and Vending objectTransferred Transfer and Object 例 Object and 貨幣 模態屬性 例 Object and food for Human 例 Object and Beverage and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	例 Process and ViolentContest 患者 Process and Object attribute Object and InjuryCausedFn Process attribute Object and ImpairedBodyPartFn 空中航線 模態屬性 子類 Process and Combustion entity 例 entity and Injuring 位於 entity and entity 例 entity and 面對 患者 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1602-1610	例 Process and 泣 體驗者 Process and AutonomousAgent 模態屬性 持有期間 何時 Process and attribute AutonomousAgent and Sadness and 容易
No TPTP formula. May not be expressible in strict first order.	Sports.kif 796-805	例 Process and Weightlifting agent Process and AutonomousAgent 模態屬性 entity 例 entity and 無氧運動裝置 儀器 Process and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Dining.kif 295-303	例 Object and Buffet attribute Object and Breakfast 模態屬性 entity 會員 entity and Object attribute entity and Breakfast and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 1706-1716	例 Object and Meal attribute Object and Breakfast 例 Process and Eating 患者 Process and Object 模態屬性 entity 期間 何時 Process and entity 例 entity and BreakfastTime and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 1793-1803	例 Object and Meal attribute Object and Dinner 例 Process and Eating 患者 Process and Object 模態屬性 entity 期間 何時 Process and entity 例 entity and DinnerTime and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 1776-1786	例 Object and Meal attribute Object and Lunch 例 Process and Eating 患者 Process and Object 模態屬性 entity 期間 何時 Process and entity 例 entity and LunchTime and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1314-1326	持有期間 TimeInterval and attribute entity and Concussion 持有期間 TimeInterval and attribute entity and Concussion 短暫相遇 TimeInterval and TimeInterval 模態屬性 持有期間 開始 TimeInterval and attribute entity and Unconscious and 容易
No TPTP formula. May not be expressible in strict first order.	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 容易
No TPTP formula. May not be expressible in strict first order.	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 容易
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 430-445	CognitiveAgent sells Entity 對於 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency Entity 的 price 從 CognitiveAgent 根據 PricingScheme 是 測量 RealNumber and UnitOfMeasure PricingScheme 是 valid 對於 AutonomousAgent 例 Entity and Entity 例 Process and Buying 立即實例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent 起源 Process and CognitiveAgent 少於 RealNumber and RealNumber 模態屬性 RealNumber 是 Process 的 transaction 總額 and 容易
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	Reservation starts 在 TimePoint Reservation ends 在 TimePoint AutonomousAgent reserves Reservation AutonomousAgent fulfills Reservation 模態屬性 持有期間 時間間隔 TimePoint and TimePoint and entity 例 entity and IntentionalProcess agent entity and AutonomousAgent 目的地 entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	Reservation 是對於 Proposition 的 reservation Reservation reserves Reservation 模態屬性 entity 實現 entity and Proposition 體驗者 entity and Reservation and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2951-2963	HotelReservation 是對於 HotelUnit 的 reservation Reservation starts 在 HotelReservation Reservation ends 在 HotelReservation HotelReservation reserves Reservation 模態屬性 持有期間 時間間隔 Reservation and Reservation and entity 例 entity and HotelUnit Reservation stays 在 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 479-488	roastedToTemperature Food and RealNumber 例 Food and 咖啡豆 例 RealNumber and RealNumber 模態屬性 entity 例 entity and DryRoasting 患者 entity and Food and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15212-15233	子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰 模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	使用者 AutonomousAgent 在 WebSite 是 watching Collection 例 Process and WebListing 例 Entity and Object 患者 Process and Entity 會員 Process and Collection 模態屬性 慾望 AutonomousAgent and entity 例 entity and Buying 患者 entity and Entity agent entity and AutonomousAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20562-20570	workLocation Organization and StationaryArtifact 會員 AutonomousAgent and Organization 例 Process and 工作的 agent Process and AutonomousAgent 模態屬性 位於 Process and StationaryArtifact and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29865-29869	approximateValue RealNumber and RealNumber 模態屬性 等於 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5065-5074	attribute Object and Pyelonephritis 模態屬性 entity entity 例 entity and Bacterium 例 entity and 腎 部分 entity and Object 位於 entity 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