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
-------------------------


s__documentation(s__April,s__ChineseLanguage,'这是所有四月 MonthClass。')

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
-------------------------


s__termFormat(s__ChineseLanguage,s__April,'A四月')

chinese_format.kif 1280-1280 "A四月" is the printable form of April in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__April,'April')

english_format.kif 967-967 "April" is the printable form of April in english language
s__termFormat(s__FrenchLanguage,s__April,'Avril')

french_format.kif 958-958 "Avril" is the printable form of April in french language
s__termFormat(s__Hindi,s__April,'aprEla')

terms-hindi.txt 493-493 "aprEla" is the printable form of April in Hindi
s__termFormat(s__ItalianLanguage,s__April,'Aprile')

terms-it.txt 495-495 "Aprile" is the printable form of April in italian language
s__termFormat(s__PortugueseLanguage,s__April,'Abril')

portuguese_format.kif 910-910 "Abril" is the printable form of April in portuguese language
s__termFormat(s__cb__m,s__April,'abril')

terms-cb.txt 499-499 "abril" is the printable form of April in cb
s__termFormat(s__cz__m,s__April,'april')

terms-cz.txt 533-533 "april" is the printable form of April in cz
s__termFormat(s__tg__m,s__April,'Abril')

terms-tg.txt 498-498 "Abril" is the printable form of April in tg

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
-------------------------


s__dateEstablished(s__ArabMonetaryFund,s__DayFn(27,s__MonthFn(s__April,s__YearFn(1976))))

Government.kif 2788-2788 The day 27 is a date established of arab monetary fund
s__dateEstablished(s__EuropeanBankForReconstructionAndDevelopment,s__DayFn(15,s__MonthFn(s__April,s__YearFn(1991))))

Government.kif 3102-3102 The day 15 is a date established of european bank for reconstruction and development
s__dateEstablished(s__EuropeanCommunity,s__DayFn(8,s__MonthFn(s__April,s__YearFn(1965))))

Government.kif 3113-3113 The day 8 is a date established of european community
s__dateEstablished(s__InterAmericanDevelopmentBank,s__DayFn(8,s__MonthFn(s__April,s__YearFn(1959))))

Government.kif 3322-3322 The day 8 is a date established of inter american development bank
s__dateEstablished(s__NorthAtlanticTreatyOrganization,s__DayFn(4,s__MonthFn(s__April,s__YearFn(1949))))

Government.kif 3620-3620 The day 4 is a date established of north atlantic treaty organization
s__dateEstablished(s__OrganizationForTheProhibitionOfChemicalWeapons,s__DayFn(29,s__MonthFn(s__April,s__YearFn(1997))))

Government.kif 3665-3665 The day 29 is a date established of organization for the prohibition of chemical weapons
s__dateEstablished(s__OrganizationOfAmericanStates,s__DayFn(14,s__MonthFn(s__April,s__YearFn(1890))))

Government.kif 3689-3689 The day 14 is a date established of organization of american states
s__dateEstablished(s__UnitedNationsInterregionalCrimeAndJusticeResearchInstitute,s__DayFn(29,s__MonthFn(s__April,s__YearFn(1969))))

Government.kif 3931-3931 The day 29 is a date established of united nations interregional crime and justice research institute
s__dateEstablished(s__UnitedNationsIraqKuwaitObservationMission,s__DayFn(9,s__MonthFn(s__April,s__YearFn(1991))))

Government.kif 3991-3991 The day 9 is a date established of united nations iraq kuwait observation mission
s__dateEstablished(s__UnitedNationsMissionForTheReferendumInWesternSahara,s__DayFn(29,s__MonthFn(s__April,s__YearFn(1991))))

Government.kif 4003-4003 The day 29 is a date established of united nations mission for the referendum in western sahara
s__dateEstablished(s__WorldTradeOrganization,s__DayFn(15,s__MonthFn(s__April,s__YearFn(1994))))

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