Sigma KB Term Intersection

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.	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 18420-18441	例 Physical and Protecting 有目的 Physical and entity entity, entity and entityARM 例 entity and Object 患者 Physical and Object 子類 entityARM and 卡帕 entity and 例 entity and 犯罪行為例 entity and Damaging 持有期間 entity and 患者 entity and entity 持有期間 entity and 患者 Physical and entity 防止 Physical and entityARM Physical hinders entityARM
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	例 Physical and 反恐有目的 Physical and entity entity, entity and entity agent Physical and entity enemy entity and entity 子類 entity and 恐怖主義例 entity and entity agent entity and entity 防止 Physical and entity
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.	MilitaryProcesses.kif 2193-2203	例 Physical and 反偵察有目的 Physical and entity entity, entity and entity agent Physical and entity enemy entity and entity 子類 entity and ReconnaissanceOperation 例 entity and entity agent entity and entity 防止 Physical and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	例 Physical and 反操作有目的 Physical and entity entity, entity and entity agent Physical and entity enemy entity and entity 子類 entity and 軍事行動例 entity and entity agent entity and entity 防止 Physical and entity

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