Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))
Geography.kif 1263-1267
(subclass ClimateZone Attribute) Geography.kif 1269-1269 Climate zone is a subclass of attribute
(subclass TropicalClimateZone ClimateZone) Geography.kif 1278-1278 Tropical climate zone is a subclass of climate zone
(subclass AridClimateZone ClimateZone) Geography.kif 1345-1345 Arid climate zone is a subclass of climate zone
(subclass SemiaridClimateZone ClimateZone) Geography.kif 1396-1396 Semiarid climate zone is a subclass of climate zone
(subclass TemperateClimateZone ClimateZone) Geography.kif 1398-1398 Temperate climate zone is a subclass of climate zone
(subclass MidlatitudeContinentalClimateZone ClimateZone) Geography.kif 1482-1482 Midlatitude continental climate zone is a subclass of climate zone
(subclass ColdClimateZone ClimateZone) Geography.kif 1514-1514 Cold climate zone is a subclass of climate zone
(subclass PolarClimateZone ClimateZone) Geography.kif 1558-1558 Polar climate zone is a subclass of climate zone


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