averageTemperatureForPeriod - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - averageTemperatureForPeriod

averageTemperatureForPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 989-994
No TPTP formula. May not be expressible in strict first order.	Weather.kif 985-985	The number 1 argument of average temperature for period is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 986-986	The number 2 argument of average temperature for period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 987-987	The number 3 argument of average temperature for period is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 984-984	average temperature for period is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 239-239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 238-238
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9369-9369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9368-9368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9367-9367

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1526-1534	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1375-1382	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1423-1429	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1578-1585	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1537-1545	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 1570-1576	If polar climate zone is a climate type in area of a geographic area, then a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1384-1390	If subtropical desert climate zone is a climate type in area of a geographic area, then a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1432-1447	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and the time intervalUNT such that the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1413-1420	If temperate climate zone is a climate type in area of a geographic area, then there exists a time interval such that the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 10.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1291-1303	If tropical climate zone is a climate type in area of a geographic area, then a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0 and there don't exist another time interval and another real number such that the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number

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