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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of cold season in area is an instance of geographic area
(domainSubclass coldSeasonInArea 2 TimeInterval) Geography.kif 1658-1658 The number 2 argument of cold season in area is a subclass of time interval
(instance coldSeasonInArea AsymmetricRelation) Geography.kif 1656-1656 cold season in area is an instance of asymmetric relation
(instance coldSeasonInArea BinaryPredicate) Geography.kif 1655-1655 cold season in area is an instance of binary predicate

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 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