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(winter season)

winter, wintertime

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19142-19143
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1667-1667	Winter season is equal to the recurring period from December to 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 19141-19141	Winter season is a subclass of season of year

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19131-19131	Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season
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 19152-19157	If a time interval is an instance of winter season, then there exists another time interval such that the other time interval is an instance of fall season and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19145-19150	If a time interval is an instance of winter season, then there exists another time interval such that the other time interval is an instance of spring season and the time interval meets the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1533-1541	If cold climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the time interval is a part of winter season and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is less than -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1474-1476	If continental climate zone is a climate type in area of a geographic area, then winter season is a cold season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1452-1454	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a cool season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1460-1462	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a rainy season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1489-1491	If midlatitude continental climate zone is a climate type in area of a geographic area, then winter season is a cool season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19208-19213	If a time interval is an instance of fall season, then there exists another time interval such that the other time interval is an instance of winter season and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1341-1351	If a physical is an instance of olympic games, then there exists a time position such that the time position is an instance of winter season and the time of existence of the physical is a part of the time position or there exists another time position such that the other time position is an instance of summer season and the time of existence of the physical is a part of the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19172-19177	If a time interval is an instance of spring season, then there exists another time interval such that the other time interval is an instance of winter season and the other time interval meets the time interval

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