May - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - May

May(May)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2799-2799
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9102-9102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1540-1540
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4930-4930
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9100-9100	May is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9014-9014	June is the successor class of May.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9013-9013	May is the successor class of April.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1281-1281
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1779-1779
No TPTP formula. May not be expressible in strict first order.	french_format.kif 959-959
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 494-494
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 496-496
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2643-2643
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 911-911
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 500-500
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 534-534
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 980-980
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 499-499

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9094-9098	If a time interval is an instance of the month April and another time interval is an instance of the month May, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9108-9112	If a time interval is an instance of the month May and another time interval is an instance of the month June, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9104-9106	If a time interval is an instance of May, 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 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

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 2796-2796	The day 26 is a date established of andean community of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2824-2824	The day 16 is a date established of arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order.	Government.kif 2972-2972	The month May is a date established of colombo plan
No TPTP formula. May not be expressible in strict first order.	Government.kif 3025-3025	The day 5 is a date established of council of europe
No TPTP formula. May not be expressible in strict first order.	Government.kif 3045-3045	The day 29 is a date established of council of the entente
No TPTP formula. May not be expressible in strict first order.	Government.kif 3140-3140	The day 28 is a date established of economic community of west african states
No TPTP formula. May not be expressible in strict first order.	Government.kif 3247-3247	The day 31 is a date established of european space agency
No TPTP formula. May not be expressible in strict first order.	Government.kif 3291-3291	The day 22 is a date established of group of6
No TPTP formula. May not be expressible in strict first order.	Government.kif 3367-3367	The day 25 is a date established of gulf cooperation council
No TPTP formula. May not be expressible in strict first order.	Government.kif 4207-4207	The day 25 is a date established of international criminal tribunal for the former yugoslavia
No TPTP formula. May not be expressible in strict first order.	Government.kif 3508-3508	The day 5 is a date established of international federation of red cross and red crescent societies
No TPTP formula. May not be expressible in strict first order.	Government.kif 3514-3514	The day 25 is a date established of international finance corporation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3610-3610	The day 17 is a date established of international telecommunication union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3735-3735	The day 25 is a date established of organization of african unity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3916-3916	The day 31 is a date established of united nations disengagement observer force
No TPTP formula. May not be expressible in strict first order.	Government.kif 4284-4284	The day 14 is a date established of warsaw pact
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1664-1664	Spring season is equal to the recurring period from March to May

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