Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3490-3517	例 Physical and 防護眼鏡有目的 Physical and PhysicalRSON 例 PhysicalRSON and Human 穿 PhysicalRSON and Physical entity entity, entity, entity and entity 例 entity and Process 儀器 entity and Physical 子類 entity and 卡帕 entity and entity 例 entity and Injuring 例 entity and 眼睛例 entity and Human 適當的部分 entity and entity 患者 entity and entity 持有期間 entity and 患者 entity and PhysicalRSON 持有期間 entity and 患者 entity and PhysicalRSON 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	例 Process and RecreationOrExercise 儀器 Process and ProcessM 例 ProcessM and RowingMachine 體驗者 Process and AutonomousAgent 例 ProcessOW and 划船子過程 ProcessMOT and Process 子類 Class and BodyMotion 例 ProcessMOT and Class ProcessOWMOT 例 ProcessOWMOT and Class 子過程 ProcessOWMOT and Process agent ProcessOWMOT and AutonomousAgent
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.	Hotel.kif 811-832	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 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 位於 Process and 暫住患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	例可穿戴物品 and 聽力保護例 Animal and Human 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity, entity and entity 例 entity and RadiatingSound 例 entity and Hearing 例 entity and Human 患者 entity and entity 體驗者 entity and entity 原因 entity and entity 體驗者 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity 儀器 entity and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16980-16985	例 Object and 遊戲神器 Process 子類 Process and Game 能力 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.	Mid-level-ontology.kif 9560-9573	例 Object and Plant 部分 Object and Object Process Entity and Process 例 Process and Process 子類 Process and Keeping 例 Entity and 淡水患者 Process and Entity 能力 Process, 儀器 and Object 例 Object and PlantLeaf 例 Object and PlantStem
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent

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