Sigma KB Term Intersection

(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 983-987	例 GeopoliticalArea and 內陸地區子類海事索賠區 and 海事索賠區海事索賠區是 GeopoliticalArea 的 maritime 要求類型
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 998-1003	例 GeographicArea and 海事索賠區子類海事索賠區 and 海事索賠區 GeopoliticalArea 是 GeographicArea 的 claimed 領土海事索賠區是 GeopoliticalArea 的 maritime 要求類型
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA))))	Geography.kif 989-996	海事索賠區是 GeopoliticalArea 的 maritime 要求類型子類海事索賠區 and 海事索賠區 GeographicArea 例 GeographicArea and 海事索賠區 GeopoliticalArea 是 GeographicArea 的 claimed 領土
(subclass MaritimeClaimArea GeographicArea)	Geography.kif 1021-1021	子類海事索賠區 and GeographicArea
(subclass MaritimeContiguousZone MaritimeClaimArea)	Geography.kif 1030-1030	子類海上毗連區 and 海事索賠區
(subclass MaritimeShelfArea MaritimeClaimArea)	Geography.kif 1057-1057	子類海運貨架區 and 海事索賠區
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea)	Geography.kif 1099-1099	子類海上專屬經濟區 and 海事索賠區
(subclass ExclusiveFishingZone MaritimeClaimArea)	Geography.kif 1132-1132	子類專屬捕魚區 and 海事索賠區
(subclass ExtendedFishingZone MaritimeClaimArea)	Geography.kif 1164-1164	子類延伸捕魚區 and 海事索賠區
(subclass TerritorialSea MaritimeClaimArea)	Geography.kif 1196-1196	子類領海 and 海事索賠區

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