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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - drySeasonInArea
drySeasonInArea

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


(documentation drySeasonInArea EnglishLanguage "(drySeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the dry season occurs during the TimeInterval ?INTERVAL. For example, (drySeasonInArea Angola (RecurringTimeIntervalFn May October)).") Geography.kif 1620-1623
(domain drySeasonInArea 1 GeographicArea) Geography.kif 1617-1617
(domainSubclass drySeasonInArea 2 TimeInterval) Geography.kif 1618-1618
(instance drySeasonInArea BinaryPredicate) Geography.kif 1616-1616

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


(format ChineseLanguage drySeasonInArea "%2 %n 是 在地区 %1 的 dry 季节") domainEnglishFormat.kif 808-808
(format ChineseTraditionalLanguage drySeasonInArea "%2 %n 是 在地區 %1 的 dry 季節") domainEnglishFormat.kif 807-807
(format EnglishLanguage drySeasonInArea "%2 is %n a dry season in area of %1") domainEnglishFormat.kif 806-806
(termFormat ChineseLanguage drySeasonInArea "地区干燥的季节") domainEnglishFormat.kif 20619-20619
(termFormat ChineseTraditionalLanguage drySeasonInArea "地區乾燥的季節") domainEnglishFormat.kif 20618-20618
(termFormat EnglishLanguage drySeasonInArea "dry season in area") domainEnglishFormat.kif 20617-20617

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


(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))
Geography.kif 1458-1460


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



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