Sigma KB Term Intersection

(=> (and (instance ?AREA GeographicArea) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) (instance ?AREA PolarClimateZone))	Geography.kif 1530-1536	instance GeographicArea and GeographicArea subclass TimeDuration and Month averageTemperatureForPeriod GeographicArea, TimeDuration and TemperatureMeasure greaterThan MeasureFn 10 and CelsiusDegree and TemperatureMeasure instance GeographicArea and PolarClimateZone
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 5787-5795	vegetationType GeographicArea and Plant subclass Plant and Plant instance GeographicArea and GeographicArea Physical instance Physical and Plant located Physical and GeographicArea
(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))	Transportation.kif 2670-2679	subclass Process and Process instance Process and Process eventLocated Process and Region instance CaseRole and CaseRole instance Object and Object instance Region and GeographicArea CaseRole Process and Object capableAtLocation Process, CaseRole, Object and Region
(=> (and (instance ?AREA TropicalClimateZone) (subclass ?MO Month) (instance ?AREA GeographicArea) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree)))	Geography.kif 1276-1282	instance GeographicArea and TropicalClimateZone subclass TimeDuration and Month instance GeographicArea and GeographicArea averageTemperatureForPeriod GeographicArea, TimeDuration and TemperatureMeasure greaterThan TemperatureMeasure and MeasureFn 18 and CelsiusDegree
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 5796-5804	vegetationType GeographicArea and Plant subclass Plant and Plant instance GeographicArea and GeographicArea Physical instance Physical and Plant located Physical and GeographicArea
(subclass GeographicArea Region)	Merge.kif 13010-13010	subclass GeographicArea and Region
(subclass ParkingLot GeographicArea)	TransportDetail.kif 73-73	subclass ParkingLot and GeographicArea
(subclass BusStop GeographicArea)	Transportation.kif 1975-1975	subclass BusStop and GeographicArea
(subclass IllicitDrugMoneyLaunderingArea GeographicArea)	TransnationalIssues.kif 79-79	subclass IllicitDrugMoneyLaunderingArea and GeographicArea
(subclass MilitaryFront GeographicArea)	Mid-level-ontology.kif 8668-8668	subclass MilitaryFront and GeographicArea
(subclass Marketplace GeographicArea)	Mid-level-ontology.kif 20368-20368	subclass Marketplace and GeographicArea
(subclass TouristSite GeographicArea)	Mid-level-ontology.kif 20517-20517	subclass TouristSite and GeographicArea
(subclass Neighborhood GeographicArea)	Mid-level-ontology.kif 22489-22489	subclass Neighborhood and GeographicArea
(subclass LocalizablePlace GeographicArea)	Merge.kif 13019-13019	subclass LocalizablePlace and GeographicArea
(subclass GeopoliticalArea GeographicArea)	Merge.kif 13032-13032	subclass GeopoliticalArea and GeographicArea
(subclass WaterArea GeographicArea)	Merge.kif 13099-13099	subclass WaterArea and GeographicArea
(subclass LandArea GeographicArea)	Merge.kif 13132-13132	subclass LandArea and GeographicArea
(subclass SurfaceGroundArea GeographicArea)	Geography.kif 569-569	subclass SurfaceGroundArea and GeographicArea
(subclass WaterOnlyArea GeographicArea)	Geography.kif 594-594	subclass WaterOnlyArea and GeographicArea
(subclass InternationalBorder GeographicArea)	Geography.kif 727-727	subclass InternationalBorder and GeographicArea
(subclass Checkpoint GeographicArea)	Geography.kif 732-732	subclass Checkpoint and GeographicArea
(subclass MaritimeClaimArea GeographicArea)	Geography.kif 1020-1020	subclass MaritimeClaimArea and GeographicArea
(subclass ClimateZone GeographicArea)	Geography.kif 1260-1260	subclass ClimateZone and GeographicArea
(subclass GeologicalFault GeographicArea)	Geography.kif 2312-2312	subclass GeologicalFault and GeographicArea
(subclass Ecosystem GeographicArea)	Geography.kif 2599-2599	subclass Ecosystem and GeographicArea
(subclass Hemisphere GeographicArea)	Geography.kif 3321-3321	subclass Hemisphere and GeographicArea
(subclass LandForm GeographicArea)	Geography.kif 3770-3770	subclass LandForm and GeographicArea
(subclass UndergroundArea GeographicArea)	Geography.kif 3783-3783	subclass UndergroundArea and GeographicArea
(subclass LakeRegion GeographicArea)	Geography.kif 5077-5077	subclass LakeRegion and GeographicArea
(subclass LittoralZone GeographicArea)	Geography.kif 5444-5444	subclass LittoralZone and GeographicArea
(subclass ArchipelagicArea GeographicArea)	Geography.kif 5527-5527	subclass ArchipelagicArea and GeographicArea
(subclass Cave GeographicArea)	Geography.kif 5610-5610	subclass Cave and GeographicArea
(subclass SubmergedLandArea GeographicArea)	Geography.kif 5663-5663	subclass SubmergedLandArea and GeographicArea

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