No TPTP formula. May not be expressible in strict first order.	Media.kif 1257-1267	例 Entity and DVD 例 Process and Decoding 患者 Process and Entity Object 例 Object and RadiatingLight 儀器 Process and Object Object 的 wavelength 是 測量 650 and Nanometer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	例 Object and FireAlarm attribute Object and 設備上 位於 Object and Object Process 例 Process and RadiatingSound 儀器 Process and Object 有目的 Process and entity 例 entity and 一群人 位於 entity and Object 知道 entity and entity 例 entity and 火 entity 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25304-25314	例 Object and HotTub 位於 Physical and Object 例 Physical and Water 模態屬性 entity 例 entity and Heating 儀器 entity and Object 患者 entity and Physical and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2146	例 服務 and PhotocopyingService 服務提供者 服務 and CognitiveAgent Object 例 Object and Photocopier 擁有 CognitiveAgent and Object 儀器 服務 and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3560	例 可穿戴物品 and 呼吸器 例 Animal and Animal 穿 Animal and 可穿戴物品 有目的 可穿戴物品 and entity entity, entity and entity 例 entity and Process 儀器 entity and 可穿戴物品 防止 entity and entity 子類 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Human 患者 entity and entity 例 entity and 吸入 agent entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26987	例 Physical and SurveillanceSystem 會員 Physical and Collection 會員 Physical and Collection 位於 Collection and Object 例 Collection and 相機 位於 Collection and Object 等於 Object and Object 例 Collection and VideoDisplay 有目的 Physical and entity entity, entity and entity 例 entity and Process entity 是 located 在 Object 代表 entity and entity 儀器 entity and 相機 結果 entity and entity 例 entity and RadiatingLight 儀器 entity and Collection 患者 entity and entity 之前 開始 entity and 開始 entity 之前 開始 entity and 開始 entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	例 服務 and WaterTransportationService 服務提供者 服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊貨運 Process Object and GeographicArea 子過程 Process and 服務 例 Process and 水運 儀器 Process and Object 例 Object and 貨船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是 美國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	例 服務 and WaterTransportationService 服務提供者 服務 and CognitiveAgent attribute CognitiveAgent and 沿海和大湖泊客運 Process Object and GeographicArea 子過程 Process and 服務 例 Process and 水運 儀器 Process and Object 例 Object and 客船 Process 是 located 在 GeographicArea 例 GeographicArea and WaterArea GeographicArea 是 美國 的 geographic 次要地區 Entity 例 Entity and 近海客船 等於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	例 服務 and WaterTransportationService 服務提供者 服務 and CognitiveAgent attribute CognitiveAgent and 深海貨運 Process Object 子過程 Process and 服務 例 Process and 水運 儀器 Process and Object 例 Object and 貨船 Process 是 located 在 世界海洋
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	例 服務 and WaterTransportationService 服務提供者 服務 and CognitiveAgent attribute CognitiveAgent and 深海客運 Process Object 子過程 Process and 服務 例 Process and 水運 儀器 Process and Object 例 Object and 客船 Process 是 located 在 世界海洋 Entity 例 Entity and 近海客船 等於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	測量 RealNumber and UnitOfMeasure 是 車輛 的 maximum 有效附載容量 車輛 對於 測量 RealNumber and UnitOfMeasure 的 maximum 有效附載高度 測量 RealNumber and UnitOfMeasure 例 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and RealNumberU 是 SelfConnectedObject 的 weight 寬度 SelfConnectedObject and 測量 RealNumber and RealNumberU 高度 SelfConnectedObject and 測量 RealNumber and RealNumberU 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 等於 RealNumberU and UnitOfMeasure 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 能力 卡帕 SymbolicString and 例 SymbolicString and Transportation 患者 SymbolicString and SelfConnectedObject, 儀器 and 車輛
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 104-118	貨幣價值 校驗 and CurrencyMeasure 金融賬戶 是 校驗 的 check 帳戶 例 Process and 處理檢查 患者 Process and 校驗 等於 何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 退出 儀器 FinancialTransaction and 校驗 等於 何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額 起源 FinancialTransaction and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	貨幣價值 Object and CurrencyMeasure 例 Process and 處理檢查 患者 Process and Object 目的地 Process and 金融賬戶 的 currency 例 金融賬戶 and 金融賬戶 等於 何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 存款 儀器 FinancialTransaction and Object 等於 何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額 目的地 FinancialTransaction and 金融賬戶 的 currency
No TPTP formula. May not be expressible in strict first order.	Music.kif 559-569	AcousticMusic 是在 genre ContentBearingObject ContentBearingObject 是個 Process 的 record Object Object 例 Object and MusicalInstrument 儀器 Process and Object 例 Object and 電器 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30760-30771	passenger Transfer and AutonomousAgent 例 Object and 車輛 儀器 Transfer and Object Process 期間 何時 Process and 何時 Transfer 例 Process and Guiding agent Process and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	子類 TransportationDevice and TransportationDevice 子類 TransportationDevice 的 transportation and Transportation 例 Process and TransportationDevice 的 transportation Object 例 Object and TransportationDevice 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	SelfConnectedObject 是 對於交通類別 Region 的 trafficable 子類 SelfConnectedObject and TransportationDevice 例 Object and SelfConnectedObject Transportation capable 在地點 儀器 對於 Object 跟 Region 在一起
No TPTP formula. May not be expressible in strict first order.	Communications.kif 456-461	attribute AutonomousAgent and 互聯網用戶 Process agent Process and AutonomousAgent 儀器 Process and 互聯網
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5805-5811	attribute Object and 機械 有目的 Object and entity 例 entity and Manufacture 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4374-4379	AutonomousAgent carries Object Process 儀器 Process and AutonomousAgent 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30733-30746	持有期間 TimePosition and attribute Physical and FlightSteward 有目的 Physical and 持有期間 TimePosition and entity 例 entity and 飛機 entity 例 entity and Guiding agent entity and Physical 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	例 Physical and 救護車 有目的 Physical and entity entity 例 entity and Human attribute entity and DiseaseOrSyndrome entity entity 例 entity and Injuring 體驗者 entity and entity 之前 entity and entity 例 entity and Transportation 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2739-2747	例 Physical and 動物控制器 有目的 Physical and entity entity 例 entity and Guiding 儀器 entity and Physical 例 entity and Animal 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2015-2021	例 Physical and AirConditioningCompressor 有目的 Physical and entity 例 entity and Cooling 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2067-2073	例 Physical and AirConditioningCondenser 有目的 Physical and entity 例 entity and Condensing 儀器 entity and Physical
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