December - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2806-2806
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9253-9253
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4868-4868
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9251-9251	December is a subclass of month

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9072-9072	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1288-1288	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1793-1793	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	french_format.kif 966-966	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 501-501	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 505-505	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2650-2650	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 918-918	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 507-507	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 541-541	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 800-800	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 987-987	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 506-506	December is the successor class of November.

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9259-9266	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9245-9249	If a time interval is an instance of the month November and another time interval is an instance of the month December, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9255-9257	If a time interval is an instance of December, then duration of the time interval is 31 day duration(s)

consequent

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.	Medicine.kif 2991-2999	If an entity is an instance of delta and the entity is a part of another entity and Covid is an attribute of the other entity holds during a real number, then the real number is greater than the month December

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3180-3180	The day 1 is an agreement adoption date of antarctic treaty
No TPTP formula. May not be expressible in strict first order.	Government.kif 2825-2825	The day 19 is a date established of asian development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2905-2905	The day 3 is a date established of central african states development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2912-2912	The day 13 is a date established of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2919-2919	The day 13 is a date established of central american common market
No TPTP formula. May not be expressible in strict first order.	Government.kif 2949-2949	The day 8 is a date established of commonwealth of independent states
No TPTP formula. May not be expressible in strict first order.	Government.kif 2942-2942	The day 31 is a date established of commonwealth of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3338-3338	The day 21 is a date established of indian ocean commission
No TPTP formula. May not be expressible in strict first order.	Government.kif 3391-3391	The day 7 is a date established of international civil aviation organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3405-3405	The month December is a date established of international confederation of free trade unions
No TPTP formula. May not be expressible in strict first order.	Government.kif 3585-3585	The day 15 is a date established of islamic development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3612-3612	The day 8 is a date established of monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order.	Government.kif 3637-3637	The day 4 is a date established of nordic investment bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3667-3667	The day 14 is a date established of organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3796-3796	The day 8 is a date established of south asian association for regional cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3810-3810	The day 11 is a date established of southern african customs union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3852-3852	The day 11 is a date established of united nations childrens fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 3864-3864	The day 30 is a date established of united nations conference on trade and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3896-3896	The day 15 is a date established of united nations environment program
No TPTP formula. May not be expressible in strict first order.	Government.kif 3982-3982	The day 3 is a date established of united nations high commissioner for refugees
No TPTP formula. May not be expressible in strict first order.	Government.kif 3996-3996	The day 11 is a date established of united nations institute for training and research
No TPTP formula. May not be expressible in strict first order.	Government.kif 4035-4035	The day 21 is a date established of united nations mission in bosnia and herzegovina
No TPTP formula. May not be expressible in strict first order.	Government.kif 4062-4062	The day 16 is a date established of united nations mission of observers in tajikistan
No TPTP formula. May not be expressible in strict first order.	Government.kif 4112-4112	The day 8 is a date established of united nations relief and works agency for palestine refugees in the near east
No TPTP formula. May not be expressible in strict first order.	Government.kif 4225-4225	The day 3 is a date established of united nations university

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: