TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2794-2794
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9068-9068
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1535-1535
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9066-9066	Month is internally related to month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9065-9065	Month is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8595-8595	The values returned by month are subclasses of month
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 113-113	Dhu al hijjah is internally related to month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9122-9122	April is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9178-9178	August is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9235-9235	December is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9084-9084	February is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9070-9070	January is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9164-9164	July is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9150-9150	June is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9108-9108	March is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9136-9136	May is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9221	November is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9207-9207	October is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9192-9192	September is a subclass of month
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1276-1276
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1769-1769
No TPTP formula. May not be expressible in strict first order.	french_format.kif 954-954
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 489-489
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 493-493
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2638-2638
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 906-906
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 495-495
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 529-529
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 975-975

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1306-1306	The number 2 argument of average rainfall for period is an instance of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8611-8611	The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8593-8593	The number 1 argument of month is a subclass of month

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	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 1370-1377	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 1419-1425	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 1316-1323	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 1575-1582	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.	FinancialOntology.kif 759-775	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the liability account
No TPTP formula. May not be expressible in strict first order.	Media.kif 498-506	If a time position is an instance of Easter sunday and the time position is a part of another time position and the other time position is an instance of month, then the other time position is an instance of March or the other time position is an instance of April or the other time position is an instance of May
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9485-9489	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3283-3288	A human has monthly income a currency measure if and only if there exists a time interval such that the time interval is an instance of month and the human income the currency measure for the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	If a time interval is an instance of hanukkah and a time point is equal to the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
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 1566-1573	If polar 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 geographic area average temperature for period the time interval for the 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 1379-1386	If subtropical desert 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 geographic area average temperature for period the time interval for the 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 1409-1416	If temperate 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 geographic area average temperature for period the time interval for the 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 1428-1443	If temperate 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 geographic area average temperature for period the time interval for the 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 1285-1298	If tropical 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 geographic area average temperature for period the time interval for the 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 1325-1332	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9481-9483	If a time interval is an instance of year, then the number of instances in decomposition of the time interval into months is equal to 12

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

KB Term:			Term intersection

English Word: