Sigma KB Term Intersection

(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1692-1698	例 AutonomousAgent and AutonomousAgent 子類 AutonomousAgent 的 election and 選舉例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	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
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 16905-16909	例 Relation and 經濟關係域 Relation, 1 and Class 子類 Class and GeopoliticalArea
(=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA))	Geography.kif 6931-6936	例 GeopoliticalArea and GeographicArea 所有的 instances 在 GeopoliticalArea 子類 GeographicArea and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 地緣政治細分 GeopoliticalArea and GeopoliticalArea
(subclass GeopoliticalArea GeographicArea)	Merge.kif 14053-14053	子類 GeopoliticalArea and GeographicArea
(subclass GeopoliticalArea AutonomousAgent)	Merge.kif 14054-14054	子類 GeopoliticalArea and AutonomousAgent
(subclass PortFacility GeopoliticalArea)	Transportation.kif 938-938	子類港口設施 and GeopoliticalArea
(subclass IndependentState GeopoliticalArea)	Mid-level-ontology.kif 8009-8009	子類獨立國家 and GeopoliticalArea
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea)	Mid-level-ontology.kif 8017-8017	子類依賴或特殊主權領域 and GeopoliticalArea
(subclass CityDistrict GeopoliticalArea)	Mid-level-ontology.kif 8077-8077	子類市區 and GeopoliticalArea
(subclass Nation GeopoliticalArea)	Merge.kif 14223-14223	子類 Nation and GeopoliticalArea
(subclass StateOrProvince GeopoliticalArea)	Merge.kif 14230-14230	子類 StateOrProvince and GeopoliticalArea
(subclass City GeopoliticalArea)	Merge.kif 14244-14244	子類 City and GeopoliticalArea
(subclass County GeopoliticalArea)	Merge.kif 14251-14251	子類縣 and GeopoliticalArea
(subclass OverseasArea GeopoliticalArea)	Government.kif 487-487	子類海外地區 and GeopoliticalArea
(subclass ParliamentaryTerritory GeopoliticalArea)	Government.kif 525-525	子類議會領土 and GeopoliticalArea
(subclass SelfGoverningTerritory GeopoliticalArea)	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