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 1629-1632
(domain drySeasonInArea 1 GeographicArea) Geography.kif 1626-1626
(domainSubclass drySeasonInArea 2 TimeInterval) Geography.kif 1627-1627
(instance drySeasonInArea AsymmetricRelation) Geography.kif 1625-1625
(instance drySeasonInArea BinaryPredicate) Geography.kif 1624-1624

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 20604-20604
(termFormat ChineseTraditionalLanguage drySeasonInArea "地區乾燥的季節") domainEnglishFormat.kif 20603-20603
(termFormat EnglishLanguage drySeasonInArea "dry season in area") domainEnglishFormat.kif 20602-20602

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


(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))
Geography.kif 1464-1466


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