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 1660-1662
(domain coldSeasonInArea 1 GeographicArea) Geography.kif 1657-1657
(domainSubclass coldSeasonInArea 2 TimeInterval) Geography.kif 1658-1658
(instance coldSeasonInArea AsymmetricRelation) Geography.kif 1656-1656
(instance coldSeasonInArea BinaryPredicate) Geography.kif 1655-1655

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 15548-15548
(termFormat ChineseTraditionalLanguage coldSeasonInArea "地區寒冷季節") domainEnglishFormat.kif 15547-15547
(termFormat EnglishLanguage coldSeasonInArea "cold season in area") domainEnglishFormat.kif 15546-15546

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


(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))
Geography.kif 1474-1476
(=>
    (instance ?G Shimagh)
    (hasPurpose ?G
        (=>
            (exists (?S ?T ?H ?AREA)
                (and
                    (holdsDuring ?T
                        (wears ?H ?G))
                    (holdsDuring ?T
                        (located ?H ?AREA))
                    (coldSeasonInArea ?AREA ?S)))
            (during ?T ?S))))
ArabicCulture.kif 399-410


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