April - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - April

April(April)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2798-2798
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9215-9215
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1539-1539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4958-4958
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4857-4857
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9213-9213	April is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9140-9140	May is the successor class of April.

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9139-9139	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1280-1280	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1777-1777	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	french_format.kif 958-958	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 493-493	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 497-497	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2642-2642	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 910-910	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 499-499	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 533-533	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 792-792	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 979-979	April is the successor class of March.
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 498-498	April is the successor class of March.

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9225	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 9207-9211	If a time interval is an instance of the month March and another time interval is an instance of the month April, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9217-9219	If a time interval is an instance of April, 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 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 2812-2812	The day 27 of month the month April is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 3126-3126	The day 15 of month the month April is a date established of european bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3137-3137	The day 8 of month the month April is a date established of european community
No TPTP formula. May not be expressible in strict first order.	Government.kif 3346-3346	The day 8 of month the month April is a date established of inter american development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3644-3644	The day 4 of month the month April is a date established of NATO
No TPTP formula. May not be expressible in strict first order.	Government.kif 3689-3689	The day 29 of month the month April is a date established of organization for the prohibition of chemical weapons
No TPTP formula. May not be expressible in strict first order.	Government.kif 3713-3713	The day 14 of month the month April is a date established of organization of american states
No TPTP formula. May not be expressible in strict first order.	Government.kif 3955-3955	The day 29 of month the month April is a date established of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order.	Government.kif 4015-4015	The day 9 of month the month April is a date established of united nations iraq kuwait observation mission
No TPTP formula. May not be expressible in strict first order.	Government.kif 4027-4027	The day 29 of month the month April is a date established of united nations mission for the referendum in western sahara
No TPTP formula. May not be expressible in strict first order.	Government.kif 4335-4335	The day 15 of month the month April is a date established of world trade organization

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