No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	例 Process and 商業服務 agent Process and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 目的地 Process and Entity 有目的 Process and entity 例 entity and FinancialTransaction 目的地 entity and AutonomousAgent 起源 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	例 Object and Tailpipe 例 ObjectR and Transfer 例 Entity and Exhaust 例 Object and 汽車 例 ObjectES and AutomobileExhaustSystem 部分 Object and Object 路徑 ObjectR and Object 患者 ObjectR and Entity 有目的 Object and entity 部分 entity and Object beforeOnPath Object, entity, ObjectES and ObjectR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	例 Process and Transportation 例 Object and 輪 例 Object and 汽車 部分 Object and Object 儀器 Process and Object 例 ObjectB and AntilockBrake 例 Process and 減速 儀器 Process and ObjectB 部分 ObjectB and Object 有目的 ObjectB and entity 例 entity and 旋轉 期間 entity and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣 例 entity and 肺 例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間 不久的過去 何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間 眼前的未來 何時 Transfer and 方位 Transfer, Entity and 外
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	例 Object and 高精度武器 儀器 Process and Object 患者 Process and Entity 有目的 Object and entity entity 例 entity and Damaging 子過程 entity and Process 患者 entity and entity 等於 Entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	例 Object and CarAlarm 例 Object and 自供電公路車輛 部分 Object and Object entity entity, entity and entity 有目的 Object and 例 entity and 偷竊行為 例 entity and Damaging 例 entity and Human agent entity and entity 患者 entity and Object 等於 何時 entity and entity entity 是 partly located 在 entity entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 有目的 entity and 增加可能性 entity 例 entity and Human 持有期間 entity and 方位 entity, entity and 近 and 知道 entity and entity 例 entity and 偷竊行為 例 entity and Damaging entity 是 partly located 在 entity 持有期間 entity and 患者 entity and Object 飾面 何時 entity and 何時 entity
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.	Hotel.kif 1696-1704	例 Physical and HotelFunctionRoom 元件 Physical and 屬性 AutonomousAgent 有目的 Physical and entity 例 entity and 租 患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	例 Object and Nursery 元件 Object and 屬性 AutonomousAgent attribute AutonomousAgent and 旅客住宿 CognitiveAgent entity attribute Object and CommunalAttribute 採用 AutonomousAgent and CognitiveAgent 有目的 CognitiveAgent and 例 entity and ChildCareService 服務提供者 entity and CognitiveAgent
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.	Hotel.kif 1558-1578	AutonomousAgent offers 拍賣樣品在 MealPlan 例 MealPlan and MealPlan 類別 RelationalAttribute 的 meals 是包含在 MealPlan attribute AutonomousAgent and 旅客住宿 CognitiveAgent 是在 AutonomousAgent 的 guest CognitiveAgent buys MealPlan 從 AutonomousAgent 持有期間 何時 CognitiveAgent 是在 AutonomousAgent 的 guest and entity 持有期間 entity and entity attribute entity and RelationalAttribute 有目的 entity and entity 例 entity and Eating agent entity and CognitiveAgent 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	suppliesBlood 動脈 and BodyPart 例 Physical and 動脈 例 Entity and BodyPart 有目的 Physical and entity entity 例 entity and 液體運動 objectTransferred entity and entity 例 entity and Blood 目的地 entity and Entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	vaccine Vaccine and Virus 例 Transfer and Vaccination 體驗者 Transfer and AutonomousAgent 例 VaccineI and Vaccine objectTransferred Transfer and VaccineI 有目的 VaccineI and entity VirusI 例 entity and Infecting 體驗者 entity and AutonomousAgent 例 VirusI and Virus objectTransferred entity and VirusI
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 754-760	attribute Object and SecurityOfficer 有目的 Object and entity 例 entity and 執法 agent entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20051-20059	attribute Object and 飼料 有目的 Object and entity entity 例 entity and 家畜 例 entity and Eating agent entity and entity 患者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	attribute Object and 藝術評論家 有目的 Object and entity entity and entity 例 entity and ArtWork 暫時重疊 何時 entity and 何時 Object 例 entity and entity 子類 entity and Article 作者 Object and entity 參照 entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 771-777	attribute Object and IntelligenceOfficer 有目的 Object and entity 例 entity and 情報活動 agent entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21065-21079	attribute Object and 新聞記者 有目的 Object and entity entity and entity 例 entity and Process 暫時重疊 何時 entity and 何時 Object 例 entity and entity 子類 entity and 報紙 子類 entity and 新聞節目 作者 Object and entity 參照 entity and entity
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 132-141	attribute Object and Valet 有目的 Object and 例 entity and 車輛 例 entity and Putting 目的地 entity and entity 例 entity and ParkingRegion 患者 entity and entity agent entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29462-29473	attribute Object and CoinOperated 有目的 Object and entity entity, entity and entityCT 例 entity and 貨幣硬幣 例 entity and FinancialTransaction 目的地 entity and Object 患者 entity and entity 起源 entity and entity 原因 entity and entityCT 想要 entity and entityCT
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 796-802	attribute Object and SEAL 有目的 Object and entity 例 entity and 特別行動 agent entity and Object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	attribute Object and OpenLayout 例 Object and Room Object Object and Object 例 Object and Region 例 Object and Region 位於 Object and Object 位於 Object and Object 等於 Object and Object 方位 Object, Object and 鄰 Formula Formula 例 Formula and Process 例 Formula and Process 有目的 Object and Formula 有目的 Object and Formula 例 Object and AutonomousAgent 位於 Object and Object 能力 Seeing, agent and Object 能力 Seeing, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	attribute Object and ExpeditionaryForce 有目的 Object and entity entity and entity 子組織 Object and 政府 entity 例 entity and Battle agent entity and Object 例 entity and Nation 位於 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	attribute Object and ArtsAndRecreationTicketingServices 有目的 Object and entity entity and entity 例 entity and Selling 患者 entity and entity agent entity and Object 例 entity and 票 目的地 entity and entity 有目的 entity and 賦予權利 entity entity 例 entity and Seeing agent entity and entity 患者 entity and entity 例 entity and 性能 例 entity and Sport, Object and entity
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