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

Formal Language: 



KB Term:  Term intersection
English Word: 

  coldSeasonInArea

 Sigma KEE - coldSeasonInArea
coldSeasonInArea

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


(documentation coldSeasonInArea EnglishLanguage "(coldSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the cold season occurs during the TimeInterval ?INTERVAL.") Geography.kif 1663-1665
(domain coldSeasonInArea 1 GeographicArea) Geography.kif 1660-1660
(domainSubclass coldSeasonInArea 2 TimeInterval) Geography.kif 1661-1661
(instance coldSeasonInArea AsymmetricRelation) Geography.kif 1659-1659
(instance coldSeasonInArea BinaryPredicate) Geography.kif 1658-1658

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


(format ChineseLanguage coldSeasonInArea "%2 %n 是 %1 地区的 cold 季节") domainEnglishFormat.kif 476-476
(format ChineseTraditionalLanguage coldSeasonInArea "%2 %n 是 %1 地區的 cold 季節") domainEnglishFormat.kif 475-475
(format EnglishLanguage coldSeasonInArea "%2 is %n a cold season in area of %1") domainEnglishFormat.kif 474-474
(termFormat ChineseLanguage coldSeasonInArea "地区寒冷季节") domainEnglishFormat.kif 15543-15543
(termFormat ChineseTraditionalLanguage coldSeasonInArea "地區寒冷季節") domainEnglishFormat.kif 15542-15542
(termFormat EnglishLanguage coldSeasonInArea "cold season in area") domainEnglishFormat.kif 15541-15541

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


(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))		 Geography.kif 1478-1480
(=>
    (instance ?G Shimagh)
    (hasPurpose ?G
        (=>
            (and
                (holdsDuring ?T
                    (wears ?H ?G))
                (holdsDuring ?T
                    (located ?H ?AREA))
                (coldSeasonInArea ?AREA ?S))
            (during ?T ?S))))		 ArabicCulture.kif 387-397


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 3.0 is open source software produced by Articulate Software and its partners