Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	例可穿戴物品 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 3482-3509	例 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.	UXExperimentalTerms.kif 2630-2643	例 Collection and CrossFunctionalTeam Process AutonomousAgent, AutonomousAgent and Entity 子類 Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Human 會員 AutonomousAgent and Collection 會員 AutonomousAgent and Collection 有技巧 Process and AutonomousAgent 有技巧 Process and AutonomousAgent 例 Entity and Process 在感興趣的範圍內 Collection and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	例可穿戴物品 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.	Cars.kif 3531-3552	例可穿戴物品 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.	Dining.kif 178-182	例 Catalog and Menu Entity 是在 Catalog 子類 Entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	子類 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.	Mid-level-ontology.kif 7351-7365	例 Object and 禮堂座位部分 Object and Object 部分 Object and Object 例 Object and 禮堂例 Object and 表演階段位於 Object and Object 例 Object and Human 子類 Process and Seeing Process 例 Process and Process 患者 Process and Object 能力 Process, agent and Object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	Collection 和 Collection 是 orthogonal tests 例 Object and Human 例 Physical and Process 子類 Process and 試驗會員 Physical and Collection 能力 Process, experimentalSubject and Object Physical Process 例 Physical and Process 會員 Physical and Collection 子類 Process and 試驗能力 Process, experimentalSubject and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	子類 Class and 飲用水子類 Class and food for Human
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14643-14643	子類 Human and Hominid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14644-14644	子類 Human and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 185-185	子類人類成人 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-248	子類人類青年 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	子類青少年 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14649-14649	子類人 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14656-14656	子類女人 and Human

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