TreeView Knowledge Base Browser - WinterSeason

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WinterSeason

WinterSeason(冬季)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19143-19144
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1667-1667	等於冬季 and 經常性時間間隔 December and February
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4951-4951
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5095-5095
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5097-5097
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5096-5096
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19142-19142	子類冬季 and 一年的季節

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19132-19132	劃分一年的季節, 冬季, 春暖花開的季節, 夏季 and 秋季
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63213-63213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63212-63212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63211-63211

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19153-19158	例 TimeInterval and 冬季 TimeInterval 例 TimeInterval and 秋季短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19146-19151	例 TimeInterval and 冬季 TimeInterval 例 TimeInterval and 春暖花開的季節短暫相遇 TimeInterval and TimeInterval

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1533-1541	寒冷氣候帶是 GeographicArea 地區的 climate 類別 TimeInterval RealNumber 例 TimeInterval and Month 時間部分 TimeInterval and 冬季 1 對於 %3 在 %2 週期的 average 溫度少於 RealNumber and -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1474-1476	大陸性氣候區是 GeographicArea 地區的 climate 類別冬季是 GeographicArea 地區的 cold 季節
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1452-1454	地中海氣候區是 GeographicArea 地區的 climate 類別冬季是在地區 GeographicArea 的 cool 季節
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1460-1462	地中海氣候區是 GeographicArea 地區的 climate 類別冬季是區域 GeographicArea 的 rainy 季節
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1489-1491	中緯度大陸性氣候帶是 GeographicArea 地區的 climate 類別冬季是在地區 GeographicArea 的 cool 季節
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19209-19214	例 TimeInterval and 秋季 TimeInterval 例 TimeInterval and 冬季短暫相遇 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1340-1350	例 Physical and 奧運會 TimePosition 例 TimePosition and 冬季時間部分何時 Physical and TimePosition TimePosition 例 TimePosition and 夏季時間部分何時 Physical and TimePosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19173-19178	例 TimeInterval and 春暖花開的季節 TimeInterval 例 TimeInterval and 冬季短暫相遇 TimeInterval and TimeInterval

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