Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - November
November(November)
Nov, November

appearance as argument number 1
-------------------------


s__documentation(s__November,s__ChineseLanguage,'"这是所有十一月 MonthClass。"')

chinese_format.kif 2805-2805
s__documentation(s__November,s__EnglishLanguage,'"The Class of all Months which are November."')

Merge.kif 8610-8610
s__externalImage(s__November,'"http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG"')

pictureList.kif 4935-4935
s__instance(s__November,s__SetOrClass)

s__instance(s__Month,s__SetOrClass)

s__subclass(s__November,s__Month)

Merge.kif 8608-8608 November is a subclass of month
s__successorClass(s__November,s__December)

Merge.kif 8443-8443 successorClass November and December

appearance as argument number 2
-------------------------


s__successorClass(s__October,s__November)

Merge.kif 8442-8442 successorClass October and November
s__termFormat(s__ChineseLanguage,s__November,'"十一月"')

chinese_format.kif 1287-1287
s__termFormat(s__EnglishLanguage,s__November,'"November"')

english_format.kif 1800-1800

antecedent
-------------------------


( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   ((s__instance(V__MONTH2,s__TimeInterval) &
       s__instance(V__MONTH1,s__TimeInterval) &
       s__subclass(V__YEAR,s__Year))
     =>
     (s__instance(V__MONTH1,s__MonthFn(s__November,V__YEAR))
   &
   s__instance(V__MONTH2,s__MonthFn(s__December,V__YEAR)))
=>
s__meetsTemporally(V__MONTH1,V__MONTH2)
)
)

Merge.kif 8616-8620
( ! [V__MONTH2,V__MONTH1,V__YEAR] :
   ((s__instance(V__MONTH2,s__TimeInterval) &
       s__instance(V__MONTH1,s__TimeInterval) &
       s__subclass(V__YEAR,s__Year))
     =>
     (s__instance(V__MONTH1,s__MonthFn(s__October,V__YEAR))
   &
   s__instance(V__MONTH2,s__MonthFn(s__November,V__YEAR)))
=>
s__meetsTemporally(V__MONTH1,V__MONTH2)
)
)

Merge.kif 8602-8606
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__November) =>
     s__duration(V__MONTH,s__MeasureFn(n__30,s__DayDuration))
   )
)

Merge.kif 8612-8614

consequent
-------------------------


( ! [V__B,V__H] :
   (s__instance(V__B,s__TimePoint) =>
     (s__instance(V__H,s__Hanukkah) &
       (V__B = s__BeginFn(V__H)))
   =>
   ( ? [V__M] :
     ((s__temporalPart(V__B,V__M)
       &
       s__instance(V__M,s__Month) &
       (s__instance(V__M,s__November) |
         s__instance(V__M,s__December)))))
)
)

Media.kif 587-597
( ! [V__T] :
   (s__instance(V__T,s__USThanksgivingDay) =>
     ( ? [V__M] :
       ((s__instance(V__M,s__November) &
           s__during(V__T,V__M))))
   )
)

Media.kif 635-640

statement
-------------------------


s__dateEstablished(s__AsiaPacificEconomicCooperation,s__DayFn(n__7,s__MonthFn(s__November,s__YearFn(n__1989))))

Government.kif 2788-2788 The day 7 is a date established of asia pacific economic cooperation
s__dateEstablished(s__CentralEuropeanInitiative,s__DayFn(n__11,s__MonthFn(s__November,s__YearFn(n__1989))))

Government.kif 2896-2896 The day 11 is a date established of central european initiative
s__dateEstablished(s__EuroAtlanticPartnershipCouncil,s__DayFn(n__8,s__MonthFn(s__November,s__YearFn(n__1991))))

Government.kif 3088-3088 The day 8 is a date established of euro atlantic partnership council
s__dateEstablished(s__InternationalCriminalTribunalForRwanda,s__DayFn(n__8,s__MonthFn(s__November,s__YearFn(n__1994))))

Government.kif 4145-4145 The day 8 is a date established of international criminal tribunal for rwanda
s__dateEstablished(s__InternationalEnergyAgency,s__DayFn(n__15,s__MonthFn(s__November,s__YearFn(n__1974))))

Government.kif 3427-3427 The day 15 is a date established of international energy agency
s__dateEstablished(s__InternationalFundForAgriculturalDevelopment,s__MonthFn(s__November,s__YearFn(n__1974)))

Government.kif 3458-3458 The month November is a date established of international fund for agricultural development
s__dateEstablished(s__InternationalOrganizationForMigration,s__DayFn(n__5,s__MonthFn(s__November,s__YearFn(n__1951))))

Government.kif 3518-3518 The day 5 is a date established of international organization for migration
s__dateEstablished(s__UnitedNationsCivilianPoliceMissionInHaiti,s__DayFn(n__28,s__MonthFn(s__November,s__YearFn(n__1997))))

Government.kif 3827-3827 The day 28 is a date established of united nations civilian police mission in haiti
s__dateEstablished(s__UnitedNationsDevelopmentProgram,s__DayFn(n__22,s__MonthFn(s__November,s__YearFn(n__1965))))

Government.kif 3839-3839 The day 22 is a date established of united nations development program
s__dateEstablished(s__UnitedNationsEducationalScientificAndCulturalOrganization,s__DayFn(n__16,s__MonthFn(s__November,s__YearFn(n__1945))))

Government.kif 3857-3857 The day 16 is a date established of united nations educational scientific and cultural organization
s__dateEstablished(s__UnitedNationsIndustrialDevelopmentOrganization,s__DayFn(n__17,s__MonthFn(s__November,s__YearFn(n__1966))))

Government.kif 3958-3958 The day 17 is a date established of united nations industrial development organization
s__dateEstablished(s__UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo,s__DayFn(n__30,s__MonthFn(s__November,s__YearFn(n__1999))))

Government.kif 4054-4054 The day 30 is a date established of united nations organization mission in the democratic republic of the congo
s__dateEstablished(s__WestAfricanDevelopmentBank,s__DayFn(n__14,s__MonthFn(s__November,s__YearFn(n__1973))))

Government.kif 4229-4229 The day 14 is a date established of west african development bank
s__dateEstablished(s__WorldFoodProgram,s__DayFn(n__24,s__MonthFn(s__November,s__YearFn(n__1961))))

Government.kif 4275-4275 The day 24 is a date established of world food program
(s__FallSeason = s__RecurrentTimeIntervalFn(s__September,s__November))

Geography.kif 1619-1619 Fall season is equal to the recurring period from September to November


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