November - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - November

November(November)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2805-2805
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9299-9299
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1546-1546
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4933-4933
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9297-9297	November is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9132-9132	December is the successor class of November.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9131-9131	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1287-1287	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1791-1791	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	french_format.kif 965-965	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 500-500	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 504-504	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2649-2649	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 917-917	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 506-506	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 540-540	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 799-799	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 986-986	November is the successor class of October.
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 505-505	November is the successor class of October.

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9305-9309	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 9291-9295	If a time interval is an instance of the month October and another time interval is an instance of the month November, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9301-9303	If a time interval is an instance of November, then duration of the time interval is 30 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.	Weather.kif 1587-1599	If a time interval is an instance of Harmattan, then there exist a kind of year and another kind of year such that a kind of year is an instance of year and another kind of year is an instance of year and the kind of year meets the other kind of year and the beginning of the time interval takes place during the month November and the end of the time interval takes place during the month March
No TPTP formula. May not be expressible in strict first order.	Media.kif 635-640	If a time interval is an instance of US thanksgiving day, then there exists another time interval such that the other time interval is an instance of November and the time interval takes place during the other time interval

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 2818-2818	The day 7 of month the month November is a date established of asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2926-2926	The day 11 of month the month November is a date established of central european initiative
No TPTP formula. May not be expressible in strict first order.	Government.kif 3118-3118	The day 8 of month the month November is a date established of euro atlantic partnership council
No TPTP formula. May not be expressible in strict first order.	Government.kif 4175-4175	The day 8 of month the month November is a date established of international criminal tribunal for rwanda
No TPTP formula. May not be expressible in strict first order.	Government.kif 3457-3457	The day 15 of month the month November is a date established of international energy agency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3488-3488	The month November is a date established of international fund for agricultural development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3548-3548	The day 5 of month the month November is a date established of international organization for migration
No TPTP formula. May not be expressible in strict first order.	Government.kif 3857-3857	The day 28 of month the month November is a date established of united nations civilian police mission in haiti
No TPTP formula. May not be expressible in strict first order.	Government.kif 3869-3869	The day 22 of month the month November is a date established of united nations development program
No TPTP formula. May not be expressible in strict first order.	Government.kif 3887-3887	The day 16 of month the month November is a date established of united nations educational scientific and cultural organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3988-3988	The day 17 of month the month November is a date established of united nations industrial development organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4084-4084	The day 30 of month the month November is a date established of united nations organization mission in the democratic republic of the congo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4259-4259	The day 14 of month the month November is a date established of west african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4305-4305	The day 24 of month the month November is a date established of world food program
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1654-1654	Fall season is equal to the recurring period from September to November

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