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)

Abril, Apr, April, Aprile, Avril, A四月, abril, aprEla, april

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8993-8993
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8992-8992
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4960-4960	"http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg" is a URL depicting April
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4859-4859	"http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png" is a URL depicting April
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8991-8991	April is a subclass of month

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1280-1280	"A四月" is the printable form of April in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 967-967	"April" is the printable form of April in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 958-958	"Avril" is the printable form of April in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 493-493	"aprEla" is the printable form of April in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 495-495	"Aprile" is the printable form of April in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 910-910	"Abril" is the printable form of April in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 499-499	"abril" is the printable form of April in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 533-533	"april" is the printable form of April in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 498-498	"Abril" is the printable form of April in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8999-9003	If a kind of month is equal to the month April and another kind of month is equal to the month May, then a kind of month meets another kind of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8985-8989	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 8995-8997	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 EasterSunday 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 2788-2788	The day 27 is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 3102-3102	The day 15 is a date established of european bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3113-3113	The day 8 is a date established of european community
No TPTP formula. May not be expressible in strict first order.	Government.kif 3322-3322	The day 8 is a date established of inter american development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3620-3620	The day 4 is a date established of north atlantic treaty organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3665-3665	The day 29 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 3689-3689	The day 14 is a date established of organization of american states
No TPTP formula. May not be expressible in strict first order.	Government.kif 3931-3931	The day 29 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 3991-3991	The day 9 is a date established of united nations iraq kuwait observation mission
No TPTP formula. May not be expressible in strict first order.	Government.kif 4003-4003	The day 29 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 4311-4311	The day 15 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners