TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1255-1257
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1252-1252	The number 1 argument of climate type in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1253-1253	The number 2 argument of climate type in area is a subclass of climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1251-1251	climate type in area is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 460-460
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 459-459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 458-458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15147-15147
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15146-15146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15145-15145

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 1600-1606	If polar typeF climate zone is a climate type in area of a geographic area and a time position is an instance of time position and an entity celsius degree(s) is an air temperature of the geographic area holds during the time position, then 10.0 is greater than the entity holds during the time position
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 1321-1328	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical 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 1261-1267	If a kind of climate zone is a climate type in area of a geographic area, then there exists an object such that the object is an instance of geographic area and a kind of climate zone is an attribute of the object and the object is a part of the geographic area
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 1478-1480	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 1482-1484	If continental climate zone is a climate type in area of a geographic area, then summer season is a hot season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1456-1458	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 1468-1470	If mediterranean climate zone is a climate type in area of a geographic area, then summer season is a dry season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1464-1466	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 1460-1462	If mediterranean climate zone is a climate type in area of a geographic area, then summer season is a warm season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1493-1495	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.	Geography.kif 1497-1499	If midlatitude continental climate zone is a climate type in area of a geographic area, then summer season is a hot season in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1346-1348	If monsoon climate zone is a climate type in area of a geographic area, then there exists a kind of time interval such that a kind of time interval is a rainy season in area of the geographic area
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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1330-1337	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0

consequent

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 1321-1328	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical 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 1269-1273	If a geographic area is an instance of a kind of climate zone and a kind of climate zone is a subclass of climate zone, then the kind of 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 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1260-1272	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at 2 or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at 2

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: