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 Le nombre 1 argument de drySeasonInArea est une instance de secteur g�ographique
(domainSubclass drySeasonInArea 2 TimeInterval) Geography.kif 1627-1627 Le nombre 2 argument de drySeasonInArea est une sous-classe de interval temporel
(instance drySeasonInArea AsymmetricRelation) Geography.kif 1625-1625 drySeasonInArea est une instance de relation asym�trique
(instance drySeasonInArea BinaryPredicate) Geography.kif 1624-1624 drySeasonInArea est une instance de pr�dicat binaire

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