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 8643-8643
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 8641-8641 Day is internally related to day duration
s__relatedInternalConcept(s__Day,s__DayFn__m)

Merge.kif 8640-8640 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 8639-8639 Day is a subclass of time interval

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


s__rangeSubclass(s__DayFn__m,s__Day)

Merge.kif 8017-8017 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 8691-8691 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 8649-8649 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 8704-8704 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 8717-8717 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 8678-8678 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 8652-8652 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 8665-8665 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 8255-8255 The number 1 argument of AfternoonFn is an instance of day
s__domain(s__EveningFn__m,n__1,s__Day)

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

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

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

FinancialOntology.kif 3675-3675 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 21986-21986 The number 2 argument of birthdate is an instance of day
s__domain(s__birthday__m,n__2,s__Day)

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

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

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

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

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

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

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

FinancialOntology.kif 3870-3870 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 21998-21998 The number 2 argument of deathdate is an instance of day
s__domain(s__marginBalanceAmount__m,n__2,s__Day)

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

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

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

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

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

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

FinancialOntology.kif 3953-3953 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 8041-8041 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 3590-3598
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3607-3615
( ! [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 8340-8347
No TPTP formula. May not be expressible in strict first order. Geography.kif 4644-4657
( ! [V__DAY,V__PLACE,V__TIME2,V__TIME1,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__LengthMeasure) &
       s__instance(V__AMOUNT1,s__LengthMeasure))
     =>
     (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 4708-4715
( ! [V__DAY] :
   (s__instance(V__DAY,s__Day) =>
     s__duration(V__DAY,s__MeasureFn(n__1,s__DayDuration))
   )
)

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

Merge.kif 8882-8884

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__SetOrClass))
     =>
     ((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 8872-8876
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2600-2620
No TPTP formula. May not be expressible in strict first order. Geography.kif 3469-3478
No TPTP formula. May not be expressible in strict first order. Geography.kif 3429-3438
( ! [V__C] :
   (s__instance(V__C,s__CalendarText) =>
     ( ? [V__D] :
       ((s__instance(V__D,s__Day) &
           s__refers(V__C,V__D))))
   )
)

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

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

Merge.kif 8878-8880
( ! [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