Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  climateTypeInArea

Sigma KEE - climateTypeInArea
climateTypeInArea

appearance as argument number 1
-------------------------


(documentation climateTypeInArea EnglishLanguage "(climateTypeInArea ?TYPE ?REGION) means that all or part of the GeographicArea ?REGION is of the ClimateZone ?TYPE.") Geography.kif 1230-1232
(domain climateTypeInArea 1 GeographicArea) Geography.kif 1227-1227 The number 1 argument of climate type in area is an instance of geographic area
(domainSubclass climateTypeInArea 2 ClimateZone) Geography.kif 1228-1228 The number 2 argument of climate type in area is a subclass of climate zone
(instance climateTypeInArea BinaryPredicate) Geography.kif 1226-1226 climate type in area is an instance of binary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage climateTypeInArea "%2 is %n a climate type in area of %1") domainEnglishFormat.kif 124-124
(termFormat EnglishLanguage climateTypeInArea "climate type in area") domainEnglishFormat.kif 2947-2947 "climate type in area" is the printable form of climate type in area in english language

antecedent
-------------------------


(=>
    (climateTypeInArea ?AREA ?TYPE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (instance ?REGION ?TYPE)
            (part ?REGION ?AREA))))
Geography.kif 1234-1240

consequent
-------------------------


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE ClimateZone))
    (climateTypeInArea ?AREA ?TYPE))
Geography.kif 1242-1246


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners