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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Day
Day
more pictures...
14_July, 15_August_1945, 24-hour_interval, 6_June_1944, 8_May_1945, 9-11, 9/11, Admission_Day, All_Fools'_day, Allhallows_Eve, April_14, April_Fools', April_Fools'_day, Arbor_Day, Armistice_Day, Assumption, Assumption_of_Mary, August_1, August_15, August_6, Bastille_Day, Boxing_Day, Candlemas, Candlemas_Day, Christmas_Eve, Cinco_de_Mayo, Circumcision, Citizenship_Day, Commonwealth_Day, D-day, Davis'_Birthday, Day_of_Judgement, Day_of_Judgment, Dec_24, Dia, Dominion_Day, Doomsday, Dormition, Empire_day, Fast_of_Ab, Fast_of_Av, Feast_of_Dormition, Feast_of_the_Circumcision, Feb_2, February_2, February_29, Flag_Day, Giorno, Groundhog_Day, Guy_Fawkes_Day...

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


s__documentation(s__Day,s__ChineseLanguage,'这是所有日历日的 Class。')

Merge.kif 9203-9203
s__documentation(s__Day,s__EnglishLanguage,'The Class of all calendar Days.')

Merge.kif 9202-9202
s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/1/14/Harrison%27s_Chronometer_H5.JPG')

pictureList.kif 5949-5949
s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/7/70/Wooden_hourglass_3.jpg')

pictureList.kif 6344-6344
s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/7/7d/Dagr_by_Arbo.jpg')

pictureList.kif 6345-6345
s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/f/f2/Water%2CRabbit%2CDeer.jpg')

pictureList.kif 6346-6346
s__externalImage(s__Day,'http://upload.wikimedia.org/wikipedia/commons/f/f6/A_day_panorama_-_digital_art.jpg')

pictureList.kif 6347-6347
s__relatedInternalConcept(s__Day,s__DayDuration)

Merge.kif 9201-9201
s__relatedInternalConcept(s__Day,s__DayFn__m)

Merge.kif 9200-9200
s__instance(s__Day,s__SetOrClass)

Merge.kif 9199-9199

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


s__rangeSubclass(s__DayFn__m,s__Day)

Merge.kif 8693-8693
s__instance(s__Day,s__SetOrClass)

Media.kif 335-335
s__instance(s__Friday,s__SetOrClass)

Merge.kif 9252-9252
s__instance(s__Day,s__SetOrClass)

Merge.kif 9209-9209
s__instance(s__Day,s__SetOrClass)

Merge.kif 9265-9265
s__instance(s__Sunday,s__SetOrClass)

Merge.kif 9278-9278
s__subclass(s__Thursday,s__Day)

Merge.kif 9239-9239
s__subclass(s__Tuesday,s__Day)

Merge.kif 9213-9213
s__instance(s__Day,s__SetOrClass)

Merge.kif 9226-9226
s__termFormat(s__ChineseLanguage,s__Day,'日')

chinese_format.kif 1289-1289
s__termFormat(s__EnglishLanguage,s__Day,'day')

english_format.kif 976-976
s__termFormat(s__FrenchLanguage,s__Day,'jour')

french_format.kif 967-967
s__termFormat(s__Hindi,s__Day,'divasa')

terms-hindi.txt 502-502
s__termFormat(s__ItalianLanguage,s__Day,'Giorno')

terms-it.txt 504-504
s__termFormat(s__PortugueseLanguage,s__Day,'Dia')

portuguese_format.kif 919-919
s__termFormat(s__cb__m,s__Day,'adlaw')

terms-cb.txt 508-508
s__termFormat(s__cz__m,s__Day,'day')

terms-cz.txt 542-542
s__termFormat(s__tg__m,s__Day,'araw')

terms-tg.txt 507-507

appearance as argument number 3
-------------------------


s__domain(s__availableBalance__m,2,s__Day)

FinancialOntology.kif 3648-3648
s__domain(s__availableCash__m,2,s__Day)

FinancialOntology.kif 3668-3668
s__domain(s__baptismdate__m,2,s__Day)

Biography.kif 65-65
s__domain(s__birthdate__m,2,s__Day)

Mid-level-ontology.kif 21942-21942
s__domain(s__birthday__m,2,s__Day)

Mid-level-ontology.kif 21919-21919
s__domain(s__buyingPowerAmount__m,2,s__Day)

FinancialOntology.kif 3929-3929
s__domain(s__callDate__m,2,s__Day)

FinancialOntology.kif 2408-2408
s__domain(s__closingPrice__m,3,s__Day)

FinancialOntology.kif 3362-3362
s__domain(s__currentAccountBalance__m,2,s__Day)

FinancialOntology.kif 633-633
s__domain(s__currentInterestRate__m,2,s__Day)

FinancialOntology.kif 575-575
s__domain(s__date__m,2,s__Day)

Merge.kif 8638-8638
s__domain(s__dateOfStatement__m,2,s__Day)

FinancialOntology.kif 3863-3863
s__domain(s__deathdate__m,2,s__Day)

Mid-level-ontology.kif 21954-21954
s__domain(s__foundingdate__m,2,s__Day)

Society.kif 210-210
s__domain(s__marginBalanceAmount__m,2,s__Day)

FinancialOntology.kif 3938-3938
s__domain(s__marketValueAmount__m,2,s__Day)

FinancialOntology.kif 3956-3956
s__domain(s__maturityDate__m,2,s__Day)

FinancialOntology.kif 592-592
s__domain(s__netWorth__m,3,s__Day)

FinancialOntology.kif 813-813
s__domain(s__overdraft__m,3,s__Day)

FinancialOntology.kif 730-730
s__domain(s__primeInterestRate__m,1,s__Day)

FinancialOntology.kif 560-560
s__domain(s__shortBalanceAmount__m,2,s__Day)

FinancialOntology.kif 3947-3947
s__domain(s__weddingdate__m,3,s__Day)

Biography.kif 49-49
s__domainSubclass(s__AfternoonFn__m,1,s__Day)

Merge.kif 8906-8906
s__domainSubclass(s__EveningFn__m,1,s__Day)

Merge.kif 8948-8948
s__domainSubclass(s__HourFn__m,2,s__Day)

Merge.kif 8720-8720

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3583-3591
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3600-3608
( ! [V__EVE,V__AFT,V__D] :
   ((s__instance(V__EVE,s__Evening) &
       s__instance(V__AFT,s__Afternoon) &
       s__instance(V__D,s__Day) &
       s__during(V__EVE,V__D)
     &
     s__during(V__AFT,V__D))
=>
s__meetsTemporally(V__AFT,V__EVE))
)

Merge.kif 8936-8943
No TPTP formula. May not be expressible in strict first order. Geography.kif 4631-4644
( ! [V__PLACE,V__TIME1,V__AMOUNT1,V__TIME2,V__AMOUNT2,V__DAY] :
   ((s__lowTide(V__PLACE,V__TIME1,V__AMOUNT1)
     &
     s__highTide(V__PLACE,V__TIME2,V__AMOUNT2)
   &
   s__instance(V__DAY,s__Day) &
   s__overlapsTemporally(V__TIME1,V__DAY)
&
s__overlapsTemporally(V__TIME2,V__DAY))
=>
s__greaterThan(V__AMOUNT1,V__AMOUNT2))
)

Geography.kif 4695-4702
( ! [V__DAY] :
   (s__instance(V__DAY,s__Day) =>
     s__duration(V__DAY,s__MeasureFn(1,s__DayDuration)))
)

Merge.kif 9205-9207
( ! [V__DAY] :
   (s__instance(V__DAY,s__Day) =>
     (s__CardinalityFn(s__TemporalCompositionFn(V__DAY,s__Hour))
     = 24))
)

Merge.kif 9447-9449

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


( ! [V__FY,V__PLACE,V__YEAR,V__PERIOD] :
   (((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR))
     &
     s__fiscalYearPeriod(V__PLACE,V__PERIOD)
   &
   s__instance(V__FY,V__PERIOD))
=>
(? [V__DAY] :
(s__instance(V__DAY,s__Day) &
   s__starts(V__DAY,V__FY)
&
s__temporalPart(V__DAY,V__YEAR))))
)

Economy.kif 3755-3764
( ! [V__MONTH,V__NUMBER] :
   ((s__instance(V__MONTH,s__Month) &
       s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration)))
   =>
   (s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day))
   = V__NUMBER))
)

Merge.kif 9437-9441
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615
No TPTP formula. May not be expressible in strict first order. Geography.kif 3456-3465
No TPTP formula. May not be expressible in strict first order. Geography.kif 3416-3425
( ! [V__M] :
   (s__instance(V__M,s__Midnight) =>
     (? [V__D] :
       (s__instance(V__D,s__Day) &
         (V__M = s__EndFn(V__D)))))
)

Merge.kif 8884-8889
( ! [V__WEEK] :
   (s__instance(V__WEEK,s__Week) =>
     (s__CardinalityFn(s__TemporalCompositionFn(V__WEEK,s__Day))
     = 7))
)

Merge.kif 9443-9445
( ! [V__X] :
   (s__instance(V__X,s__Iftar) =>
     (? [V__R,V__S,V__D] :
       (s__instance(V__S,s__Sunset) &
         s__instance(V__R,s__Ramadan) &
         s__instance(V__D,s__Day) &
         s__during(V__D,V__R)
       &
       s__during(s__WhenFn(V__X)
    ,V__D)
   &
   s__during(V__S,V__D)
&
s__before(V__S,s__WhenFn(V__X)))))
)

ArabicCulture.kif 82-92
( ! [V__X] :
   (s__instance(V__X,s__Suhur) =>
     (? [V__R,V__S,V__D] :
       (s__instance(V__S,s__Sunrise) &
         s__instance(V__R,s__Ramadan) &
         s__instance(V__D,s__Day) &
         s__during(V__D,V__R)
       &
       s__during(s__WhenFn(V__X)
    ,V__D)
   &
   s__during(V__S,V__D)
&
s__before(s__WhenFn(V__X)
,V__S))))
)

ArabicCulture.kif 36-46


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