Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	例 AutonomousAgent and AutonomousAgent 子類 AutonomousAgent 的 election and 選舉例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	attribute Object and DutyFree 例 Object and 商店 GeopoliticalArea Entity, Object and Process 例 GeopoliticalArea and GeopoliticalArea 位於 Object and GeopoliticalArea 子類 Object and Object Object 是 GeopoliticalArea 的 import 商品種類例 Entity and Object 例 Process and Selling 患者 Process and Entity 位於 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16905-16909	例 Relation and 經濟關係域 Relation, 1 and Class 子類 Class and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6931-6936	例 GeopoliticalArea and GeographicArea 所有的 instances 在 GeopoliticalArea 子類 GeographicArea and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	子類 GeopoliticalArea and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14054-14054	子類 GeopoliticalArea and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 938-938	子類港口設施 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8009-8009	子類獨立國家 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8017-8017	子類依賴或特殊主權領域 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8077-8077	子類市區 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14223-14223	子類 Nation and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14230-14230	子類 StateOrProvince and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14244-14244	子類 City and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14251-14251	子類縣 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 487-487	子類海外地區 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 525-525	子類議會領土 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 531-531	子類自治領土 and GeopoliticalArea

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