Sigma KB Term Intersection

(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))

Geography.kif 1269-1273

If a geographic area is an instance of a kind of climate zone and a kind of climate zone is a subclass of climate zone,
then the kind of climate zone is a climate type in area of the geographic area

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