| April(April)
| | Abril, Apr, April, Aprile, Avril, A四月, abril, aprEla, april |
| appearance as argument number 1 |
|
|
| s__documentation(s__April,s__ChineseLanguage,'这是所有四月 Month 的 Class。') | Merge.kif 9070-9070 | |
| s__documentation(s__April,s__EnglishLanguage,'The Class of all Months which are April.')
|
Merge.kif 9069-9069 | |
| s__externalImage(s__April,'http://upload.wikimedia.org/wikipedia/commons/4/42/Mnwetlandapril.jpg')
|
pictureList.kif 4960-4960 | "http://upload.wikimedia.org/wikipedia/commons/4/42/ Mnwetlandapril.jpg" is a URL depicting April |
| s__externalImage(s__April,'http://upload.wikimedia.org/wikipedia/commons/6/60/Crystal_128_date.png')
|
pictureList.kif 4859-4859 | "http://upload.wikimedia.org/wikipedia/commons/6/60/ Crystal_128_date.png" is a URL depicting April |
| s__instance(s__April,s__SetOrClass)
|
Merge.kif 9068-9068 | April is a subclass of month |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ( ! [V__MONTH1,V__YEAR,V__MONTH2] : (((V__MONTH1 = s__MonthFn(s__April,V__YEAR)) & (V__MONTH2 = s__MonthFn(s__May,V__YEAR))) => s__meetsTemporally(V__MONTH1,V__MONTH2)) )
|
Merge.kif 9076-9080 |
|
| ( ! [V__MONTH1,V__YEAR,V__MONTH2] : ((s__instance(V__MONTH1,s__MonthFn(s__March,V__YEAR)) & s__instance(V__MONTH2,s__MonthFn(s__April,V__YEAR))) => s__meetsTemporally(V__MONTH1,V__MONTH2)) )
|
Merge.kif 9062-9066 |
|
| ( ! [V__MONTH] : (s__instance(V__MONTH,s__April) => s__duration(V__MONTH,s__MeasureFn(30,s__DayDuration))) )
|
Merge.kif 9072-9074 |
|
| consequent |
|
|
| ( ! [V__D,V__M] : ((s__instance(V__D,s__EasterSunday) & s__temporalPart(V__D,V__M) & s__instance(V__M,s__Month)) => (s__instance(V__M,s__March) | s__instance(V__M,s__April) | s__instance(V__M,s__May))) )
|
Media.kif 498-506 |
|
| statement |
|
|
|
|
|