No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	例 Physical and 總線 有目的 Physical and entity entity, entity and entity 例 entity and Collection 例 entity and Transportation entity 是 entity 的 member 計數 比較多 entity and 11 會員 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1163-1169	例 Object and BowlingFacility Collection 例 Collection and Collection BowlingLane 是 Collection 的 member 類別 位於 Collection and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2799-2811	例 Transfer and Drizzling Collection SelfConnectedObject and RealNumber 例 Collection and Collection 例 SelfConnectedObject and Water 例 SelfConnectedObject and LiquidDrop 會員 SelfConnectedObject and Collection objectTransferred Transfer and Collection SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and 毫米 模態屬性 小於或等於 RealNumber and 0.5 and 容易
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2977-2983	例 Physical and Raindrop Collection 例 Collection and Rain 例 Collection and Collection 會員 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	例 TimePosition and EspressoMaking 持有期間 TimePosition and entity entity, entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Heating 患者 entity and entity 測量 entity and 測量 entity and 升 approximateValue entity and 0.03 持有期間 結束 何時 entity and 測量 entity and 測量 entity and 攝氏度 approximateValue entity and 90 例 entity and 液體運動 患者 entity and entity 持有期間 entity and 測量 entity and 測量 entity and 千 帕斯卡 approximateValue entity and 900 目的地 entity and entity 例 entity and Collection 測量 entity and 測量 entity and 公克 approximateValue entity and 7.5 會員 entity and entity 例 entity and CoffeeGrind attribute entity and FineGrind 位於 entity and entity 例 entity and 過濾 例 entity and Removing 儀器 entity and entity 患者 entity and entity 一時之間 結束 何時 entity, 結束 何時 entity and 結束 何時 entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	例 試驗 and 試驗 entity_EVENTS 例 entity_EVENTS and Collection Process 例 Process and Process control 在實驗 試驗 是 Process Process 在 試驗 的 process 會員 Process and entity_EVENTS 等於 events 在 試驗 and entity_EVENTS
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4281-4293	例 試驗 and 試驗 entity_USERS 例 entity_USERS and Collection Human 例 Human and Human Human 是個 treated used 在 試驗 會員 Human and entity_USERS 等於 treated users 在 試驗 and entity_USERS
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7931-7937	例 Entity and LargeGroupProcess Collection Physical 例 Collection and Collection 會員 Physical and Collection AutonomousAgent 是 Collection 的 member 類別
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 72-79	例 Entity and Polymer Collection Physical 等於 Entity and Collection 例 Collection and Collection 會員 Physical and Collection 例 Physical and Monomer
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1154-1166	例 Transfer and 雨雪 Collection Physical, Physical and Process 例 Collection and Collection objectTransferred Transfer and Collection 例 Physical and Raindrop 例 Physical and Snowflake 會員 Physical and Collection 會員 Physical and Collection 例 Process and Melting 子過程 Process and Transfer 患者 Process and Physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1066	例 Entity and 下雨 Entity Entity and Class 例 Entity and Collection 例 Entity and Water 例 Entity and LiquidDrop 例 Entity, Class, 會員 Entity and Entity, objectTransferred Entity and Entity, Class 的 minimum 預期半徑是 測量 0.1 and 毫米 and Class 的 maximum 預期半徑是 測量 9.0 and 毫米
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25401-25410	例 Object and SelfServiceLaundry Collection Collection 例 Collection and Collection 洗衣機 是 Collection 的 member 類別 位於 Collection and Object 例 Collection and Collection 乾衣機 是 Collection 的 member 類別 位於 Collection and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3009-3015	例 Physical and Snowflake PhysicalNOW 例 PhysicalNOW and Snow 例 PhysicalNOW and Collection 會員 Physical and PhysicalNOW
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1137-1145	例 Transfer and 下雪 Collection Object 例 Collection and Collection 例 Object and 冰 attribute Object and MonoCrystalline 會員 Object and Collection objectTransferred Transfer and Collection
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3070-3077	例 Physical and Hailstone Transfer Collection 例 Transfer and 下冰雹 例 Collection and Collection objectTransferred Transfer and Collection 會員 Physical and Collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 609-616	例 Object and 染色質 Physical Collection 例 Physical and Collection 位於 Physical and Object 會員 Physical and Collection 例 Collection and Nucleosome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25899-25905	例 Object and ElectricalOutlet Collection 例 Collection and Collection HoleRegion 是 Collection 的 member 類別 部分 Collection and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25907-25915	例 Physical and ElectricalOutlet 有目的 Physical and entity entity 例 entity and 能量源 例 entity and Collection 電線 是 entity 的 member 類別 連接工程組件 entity, Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26496-26508	例 Object and HighRise Collection Integer 例 Collection and Collection Object 例 Object and 建設水平 部分 Object and Object 會員 Object and Collection Integer 是 Collection 的 member 計數 大於或等於 Integer and 10
No TPTP formula. May not be expressible in strict first order.	Food.kif 728-737	optimalGrindSizeForMakingCoffee CoffeeMaking and CoffeeGrindAttribute Process Collection and Object 例 Process and CoffeeMaking 患者 Process and Collection 例 Collection and Collection 會員 Object and Collection 例 Object and CoffeeGrind attribute Object and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2851	rain 的 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity Transfer Collection, Physical, SelfConnectedObject, entity, SelfConnectedObject and TransferFALL 例 Transfer and 下雨 Transfer 是 located 在 GeographicArea 期間 何時 Transfer and TimeInterval 例 Collection and Collection objectTransferred Transfer and Collection 例 Physical and Water 會員 Physical and Collection 例 SelfConnectedObject and 容器 底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面 位於 SelfConnectedObject and GeographicArea 持有期間 開始 TimeInterval and attribute SelfConnectedObject and 空容器 持有期間 結束 TimeInterval and 位於 Collection and SelfConnectedObject 上 entity and Collection 對於 SelfConnectedObject 從 entity 的 depth 是 TransferFALL 等於 TransferFALL and 乘法 TimeInterval and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2242-2259	數據庫 是 catalog 對於 WebSite Object Collection and SymbolicString 例 Collection and Collection 部分 Object and 數據庫 代表 Object and Collection Object 會員 Object and Collection 例 Object and Physical 能力 卡帕 SymbolicString and 例 SymbolicString and Buying WebSite facilitates SymbolicString , 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1335-1342	Entity 是 Entity 的 sub-brand Collection Physical 例 Collection and Collection 代表 Entity and Collection 會員 Physical and Collection 代表 Entity and Physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 607-617	Entity_COLL1 和 entity_COLL2 是在同一部分 statistical population 的機率 是 RealNumber Collection Collection and 試驗 例 Collection and Collection 例 Collection and Collection entity_COLL1 是 Collection 的 sample 對於 試驗 entity_COLL2 是 Collection 的 sample 對於 試驗 等於 RealNumber and 可能性 等於 Collection and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2173-2191	數據庫 是 user database 對於 WebSite Object Collection 例 Collection and Collection 部分 Object and 數據庫 代表 Object and Collection Physical 會員 Physical and Collection 例 Physical and AutonomousAgent Process CorpuscularObject 例 Process and AccessingWebPage 例 CorpuscularObject and WebPage 患者 Process and 頁 agent Process and AutonomousAgent 零件 CorpuscularObject and WebSite
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