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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Day
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, 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, Groundhog_Day, Guy_Fawkes_Day, Hallowe'en, Halloween...

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


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

chinese_format.kif 2807-2807
s__documentation(s__Day,s__EnglishLanguage,'"The Class of all calendar Days."')

Merge.kif 8828-8828
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 8826-8826 Day is internally related to day duration
s__relatedInternalConcept(s__Day,s__DayFn__m)

Merge.kif 8825-8825 Day is internally related to day
s__instance(s__TimeInterval,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

s__subclass(s__Day,s__TimeInterval)

Merge.kif 8824-8824 Day is a subclass of time interval

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


s__rangeSubclass(s__DayFn__m,s__Day)

Merge.kif 8200-8200 The values returned by day are subclasses of day
s__subclass(s__ChristmasDay,s__Day)

s__instance(s__ChristmasDay,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

Media.kif 335-335 ChristmasDay is a subclass of day
s__subclass(s__Friday,s__Day)

s__instance(s__Day,s__SetOrClass)

s__instance(s__Friday,s__SetOrClass)

Merge.kif 8876-8876 Friday is a subclass of day
s__instance(s__Monday,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

s__subclass(s__Monday,s__Day)

Merge.kif 8834-8834 Monday is a subclass of day
s__subclass(s__Saturday,s__Day)

s__instance(s__Saturday,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

Merge.kif 8889-8889 Saturday is a subclass of day
s__instance(s__Day,s__SetOrClass)

s__subclass(s__Sunday,s__Day)

s__instance(s__Sunday,s__SetOrClass)

Merge.kif 8902-8902 Sunday is a subclass of day
s__subclass(s__Thursday,s__Day)

s__instance(s__Day,s__SetOrClass)

s__instance(s__Thursday,s__SetOrClass)

Merge.kif 8863-8863 Thursday is a subclass of day
s__subclass(s__Tuesday,s__Day)

s__instance(s__Tuesday,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

Merge.kif 8837-8837 Tuesday is a subclass of day
s__instance(s__Wednesday,s__SetOrClass)

s__subclass(s__Wednesday,s__Day)

s__instance(s__Day,s__SetOrClass)

Merge.kif 8850-8850 Wednesday is a subclass of day
s__termFormat(s__ChineseLanguage,s__Day,'"日"')

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

english_format.kif 1804-1804

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


s__domain(s__AfternoonFn__m,n__1,s__Day)

Merge.kif 8439-8439 The number 1 argument of AfternoonFn is an instance of day
s__domain(s__EveningFn__m,n__1,s__Day)

Merge.kif 8536-8536 The number 1 argument of EveningFn is an instance of day
s__domain(s__MorningFn__m,n__1,s__Day)

Merge.kif 8426-8426 The number 1 argument of MorningFn is an instance of day
s__domain(s__availableBalance__m,n__2,s__Day)

FinancialOntology.kif 3718-3718 The number 2 argument of available balance is an instance of day
s__domain(s__availableCash__m,n__2,s__Day)

FinancialOntology.kif 3741-3741 The number 2 argument of available cash is an instance of day
s__domain(s__baptismdate__m,n__2,s__Day)

Biography.kif 65-65 The number 2 argument of baptismdate is an instance of day
s__domain(s__birthdate__m,n__2,s__Day)

Mid-level-ontology.kif 22944-22944 The number 2 argument of birthdate is an instance of day
s__domain(s__birthday__m,n__2,s__Day)

Mid-level-ontology.kif 22921-22921 The number 2 argument of birthday is an instance of day
s__domain(s__buyingPowerAmount__m,n__2,s__Day)

FinancialOntology.kif 4004-4004 The number 2 argument of buying power amount is an instance of day
s__domain(s__callDate__m,n__2,s__Day)

FinancialOntology.kif 2447-2447 The number 2 argument of call date is an instance of day
s__domain(s__closingPrice__m,n__3,s__Day)

FinancialOntology.kif 3432-3432 The number 3 argument of closing price is an instance of day
s__domain(s__currentAccountBalance__m,n__2,s__Day)

FinancialOntology.kif 633-633 The number 2 argument of current account balance is an instance of day
s__domain(s__currentInterestRate__m,n__2,s__Day)

FinancialOntology.kif 575-575 The number 2 argument of current interest rate is an instance of day
s__domain(s__date__m,n__2,s__Day)

Merge.kif 8155-8155 The number 2 argument of date is an instance of day
s__domain(s__dateOfStatement__m,n__2,s__Day)

FinancialOntology.kif 3939-3939 The number 2 argument of date of statement is an instance of day
s__domain(s__deathdate__m,n__2,s__Day)

Mid-level-ontology.kif 22957-22957 The number 2 argument of deathdate is an instance of day
s__domain(s__marginBalanceAmount__m,n__2,s__Day)

FinancialOntology.kif 4013-4013 The number 2 argument of margin balance amount is an instance of day
s__domain(s__marketValueAmount__m,n__2,s__Day)

FinancialOntology.kif 4031-4031 The number 2 argument of market value amount is an instance of day
s__domain(s__maturityDate__m,n__2,s__Day)

FinancialOntology.kif 592-592 The number 2 argument of maturity date is an instance of day
s__domain(s__netWorth__m,n__3,s__Day)

FinancialOntology.kif 822-822 The number 3 argument of net worth is an instance of day
s__domain(s__overdraft__m,n__3,s__Day)

FinancialOntology.kif 739-739 The number 3 argument of overdraft is an instance of day
s__domain(s__primeInterestRate__m,n__1,s__Day)

FinancialOntology.kif 560-560 The number 1 argument of prime interest rate is an instance of day
s__domain(s__shortBalanceAmount__m,n__2,s__Day)

FinancialOntology.kif 4022-4022 The number 2 argument of short balance amount is an instance of day
s__domain(s__weddingdate__m,n__3,s__Day)

Biography.kif 49-49 The number 3 argument of weddingdate is an instance of day
s__domainSubclass(s__HourFn__m,n__2,s__Day)

Merge.kif 8224-8224 The number 2 argument of hour is a subclass of day

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 3653-3661
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3670-3678
( ! [V__D,V__EVE,V__AFT] :
   (((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 8524-8531
No TPTP formula. May not be expressible in strict first order. Geography.kif 4744-4760
( ! [V__DAY,V__PLACE,V__TIME2,V__TIME1,V__U,V__AMOUNT2,V__AMOUNT1] :
   (((s__instance(V__PLACE,s__Region) &
         s__instance(V__TIME2,s__TimeInterval) &
         s__instance(V__TIME1,s__TimeInterval) &
         s__instance(V__AMOUNT2,s__RealNumber) &
         s__instance(V__AMOUNT1,s__RealNumber))
       =>
       (((s__lowTide(V__PLACE,V__TIME1,s__MeasureFn(V__AMOUNT1,V__U))
         &
         s__highTide(V__PLACE,V__TIME2,s__MeasureFn(V__AMOUNT2,V__U))
     &
     s__instance(V__U,s__UnitOfLength) &
     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 4811-4821
( ! [V__DAY] :
   ((s__instance(V__DAY,s__Day) =>
       (s__duration(V__DAY,s__MeasureFn(n__1,s__DayDuration))))
   )
)

Merge.kif 8830-8832
( ! [V__DAY] :
   ((s__instance(V__DAY,s__Day) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__DAY,s__Hour))
         = n__24)))
   )
)

Merge.kif 9067-9069

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


( ! [V__FY,V__PLACE,V__YEAR,V__PERIOD] :
   (((s__instance(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent) &
         s__subclass(V__YEAR,s__Year) &
         s__instance(V__YEAR,s__TimePosition) &
         s__subclass(V__PERIOD,s__TimeInterval) &
         s__instance(V__PERIOD,s__Class))
       =>
       ((((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__NUMBER,s__Integer) =>
       (((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 9057-9061
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2614-2634
No TPTP formula. May not be expressible in strict first order. Geography.kif 3512-3521
No TPTP formula. May not be expressible in strict first order. Geography.kif 3451-3460
( ! [V__C] :
   ((s__instance(V__C,s__CalendarText) =>
       (( ? [V__D] :
           ((s__instance(V__D,s__Day) &
               s__refers(V__C,V__D))))))
   )
)

ComputingBrands.kif 2262-2267
( ! [V__M] :
   ((s__instance(V__M,s__Midnight) =>
       (( ? [V__D] :
           ((s__instance(V__D,s__Day) &
               (V__M = s__EndFn(V__D)))))))
   )
)

Merge.kif 8391-8396
( ! [V__WEEK] :
   ((s__instance(V__WEEK,s__Week) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__WEEK,s__Day))
         = n__7)))
   )
)

Merge.kif 9063-9065
( ! [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 3.0 is open source software produced by Articulate Software and its partners