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 coldSeasonInArea の数値 1 引数は 地理的地域instance では %n
(domainSubclass coldSeasonInArea 2 TimeInterval) Geography.kif 1658-1658 coldSeasonInArea の数値 2 引数は 時間間隔subclass では %n
(instance coldSeasonInArea AsymmetricRelation) Geography.kif 1656-1656 coldSeasonInArea非対称関係instance では %n
(instance coldSeasonInArea BinaryPredicate) Geography.kif 1655-1655 coldSeasonInArea2進述語instance では %n

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