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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - September
September(September)
Sep, Sept, September

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


s__documentation(s__September,s__ChineseLanguage,'"这是所有九月 MonthClass。"')

chinese_format.kif 2803-2803
s__documentation(s__September,s__EnglishLanguage,'"The Class of all Months which are September."')

Merge.kif 8809-8810
s__externalImage(s__September,'"http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg"')

pictureList.kif 4943-4943
s__instance(s__September,s__Class)

s__instance(s__Month,s__Class)

s__subclass(s__September,s__Month)

Merge.kif 8807-8807 September is a subclass of month
s__successorClass(s__September,s__October)

Merge.kif 8669-8669 %2 is the successorClass of %2.

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


s__successorClass(s__August,s__September)

Merge.kif 8668-8668 %2 is the successorClass of %2.
s__termFormat(s__ChineseLanguage,s__September,'"九月"')

chinese_format.kif 1285-1285
s__termFormat(s__EnglishLanguage,s__September,'"September"')

english_format.kif 1787-1787

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__August,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__September,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

Merge.kif 8801-8805
( ! [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__September,V__YEAR))
         &
         s__instance(V__MONTH2,s__MonthFn(s__October,V__YEAR)))
   =>
   (s__meetsTemporally(V__MONTH1,V__MONTH2)))))
)
)

Merge.kif 8816-8820
( ! [V__MONTH] :
   ((s__instance(V__MONTH,s__September) =>
       (s__duration(V__MONTH,s__MeasureFn(n__30,s__DayDuration))))
   )
)

Merge.kif 8812-8814

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


s__dateEstablished(s__AustraliaNewZealandUnitedStatesSecurityTreaty,s__DayFn(n__1,s__MonthFn(s__September,s__YearFn(n__1951))))

Government.kif 2865-2865 The day 1 is a date established of australia new zealand united states security treaty
s__dateEstablished(s__EconomicCommunityOfTheGreatLakesCountries,s__DayFn(n__20,s__MonthFn(s__September,s__YearFn(n__1976))))

Government.kif 3110-3110 The day 20 is a date established of economic community of the great lakes countries
s__dateEstablished(s__GroupOf15,s__MonthFn(s__September,s__YearFn(n__1989)))

Government.kif 3317-3317 The month September is a date established of group of15
s__dateEstablished(s__GroupOf3,s__MonthFn(s__September,s__YearFn(n__1990)))

Government.kif 3254-3254 The month September is a date established of group of3
s__dateEstablished(s__GroupOf5,s__DayFn(n__22,s__MonthFn(s__September,s__YearFn(n__1985))))

Government.kif 3260-3260 The day 22 is a date established of group of5
s__dateEstablished(s__GroupOf7,s__DayFn(n__22,s__MonthFn(s__September,s__YearFn(n__1985))))

Government.kif 3277-3277 The day 22 is a date established of group of7
s__dateEstablished(s__NonalignedMovement,s__DayFn(n__6,s__MonthFn(s__September,s__YearFn(n__1961))))

Government.kif 3632-3632 The day 6 is a date established of nonaligned movement
s__dateEstablished(s__OrganizationOfPetroleumExportingCountries,s__DayFn(n__14,s__MonthFn(s__September,s__YearFn(n__1960))))

Government.kif 3755-3755 The day 14 is a date established of organization of petroleum exporting countries
s__dateEstablished(s__OrganizationOfTheIslamicConference,s__MonthFn(s__September,s__YearFn(n__1969)))

Government.kif 3761-3761 The month September is a date established of organization of the islamic conference
(s__FallSeason = s__RecurrentTimeIntervalFn(s__September,s__November))

Geography.kif 1637-1637 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 3.0 is open source software produced by Articulate Software and its partners