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 ClimateZone è una sottoclasse di Attributo
(subclass TropicalClimateZone ClimateZone) Geography.kif 1278-1278 TropicalClimateZone è una sottoclasse di ClimateZone
(subclass AridClimateZone ClimateZone) Geography.kif 1345-1345 AridClimateZone è una sottoclasse di ClimateZone
(subclass SemiaridClimateZone ClimateZone) Geography.kif 1396-1396 SemiaridClimateZone è una sottoclasse di ClimateZone
(subclass TemperateClimateZone ClimateZone) Geography.kif 1398-1398 TemperateClimateZone è una sottoclasse di ClimateZone
(subclass MidlatitudeContinentalClimateZone ClimateZone) Geography.kif 1482-1482 MidlatitudeContinentalClimateZone è una sottoclasse di ClimateZone
(subclass ColdClimateZone ClimateZone) Geography.kif 1514-1514 ColdClimateZone è una sottoclasse di ClimateZone
(subclass PolarClimateZone ClimateZone) Geography.kif 1558-1558 PolarClimateZone è una sottoclasse di ClimateZone


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