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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DayDuration
DayDuration(day duration)all_day_long, day, daylong, sidereal_day

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


s__documentation(s__DayDuration,s__ChineseLanguage,'"这是时间单位,1日 = 24小时。"')

chinese_format.kif 2579-2579
s__documentation(s__DayDuration,s__EnglishLanguage,'"Time unit. 1 day = 24 hours."')

Merge.kif 6753-6753
s__instance(s__UnitOfDuration,s__SetOrClass)

s__instance(s__DayDuration,s__UnitOfDuration)

Merge.kif 6752-6752 Day duration is an instance of UnitOfDuration

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


s__relatedInternalConcept(s__Day,s__DayDuration)

Merge.kif 8641-8641 Day is internally related to day duration
s__termFormat(s__ChineseLanguage,s__DayDuration,'"一天长度"')

domainEnglishFormat.kif 18577-18577
s__termFormat(s__ChineseTraditionalLanguage,s__DayDuration,'"一天長度"')

domainEnglishFormat.kif 18576-18576
s__termFormat(s__EnglishLanguage,s__DayDuration,'"day duration"')

domainEnglishFormat.kif 18575-18575

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


( ! [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
( ! [V__P,V__N] :
   (s__instance(V__N,s__RealNumber) =>
     (s__instance(V__P,s__Passover) &
       s__duration(V__P,s__MeasureFn(V__N,s__DayDuration)))
   =>
   ((V__N = n__7)
     |
     (V__N = n__8))
   )
)

Media.kif 611-617

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


( ! [V__MONTH,V__Y,V__YEAR] :
   ((s__instance(V__MONTH,s__TimeInterval) &
       s__subclass(V__YEAR,s__Year) &
       s__instance(V__YEAR,s__SetOrClass))
     =>
     (s__instance(V__MONTH,s__MonthFn(s__February,V__YEAR))
   &
   s__instance(V__Y,V__YEAR)
&
s__instance(V__Y,s__LeapYear))
=>
s__duration(V__MONTH,s__MeasureFn(n__29,s__DayDuration))
)
)

Merge.kif 8482-8487
( ! [V__MONTH,V__Y,V__YEAR] :
   ((s__instance(V__MONTH,s__TimeInterval) &
       s__subclass(V__YEAR,s__Year) &
       s__instance(V__YEAR,s__SetOrClass))
     =>
     (s__instance(V__MONTH,s__MonthFn(s__February,V__YEAR))
   &
   s__instance(V__Y,V__YEAR)
&
~(s__instance(V__Y,s__LeapYear)))
=>
s__duration(V__MONTH,s__MeasureFn(n__28,s__DayDuration))
)
)

Merge.kif 8475-8480
( ! [V__A,V__E,V__I,V__Y] :
   (s__instance(V__I,s__TimeInterval) =>
     (s__instance(V__Y,s__Year) &
       s__instance(V__E,s__EasterSunday) &
       s__instance(V__A,s__AscensionThursday) &
       s__during(V__E,V__Y)
     &
     s__during(V__A,V__Y)
   &
   s__starts(V__E,V__I)
&
s__finishes(V__A,V__I))
=>
s__duration(V__I,s__MeasureFn(n__40,s__DayDuration))
)
)

Media.kif 538-547
( ! [V__P,V__E,V__I,V__Y] :
   (s__instance(V__I,s__TimeInterval) =>
     (s__instance(V__Y,s__Year) &
       s__instance(V__E,s__EasterSunday) &
       s__instance(V__P,s__PalmSunday) &
       s__during(V__E,V__Y)
     &
     s__during(V__P,V__Y)
   &
   s__starts(V__P,V__I)
&
s__finishes(V__E,V__I))
=>
s__duration(V__I,s__MeasureFn(n__8,s__DayDuration))
)
)

Media.kif 473-482
( ! [V__P,V__E,V__I,V__Y] :
   (s__instance(V__I,s__TimeInterval) =>
     (s__instance(V__Y,s__Year) &
       s__instance(V__E,s__EasterSunday) &
       s__instance(V__P,s__Pentecost) &
       s__during(V__E,V__Y)
     &
     s__during(V__P,V__Y)
   &
   s__starts(V__E,V__I)
&
s__finishes(V__P,V__I))
=>
s__duration(V__I,s__MeasureFn(n__50,s__DayDuration))
)
)

Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2687-2699
( ! [V__Order,V__Period] :
   ((s__instance(V__Order,s__Agreement) &
       s__instance(V__Order,s__Object) &
       s__instance(V__Period,s__TimeInterval))
     =>
     s__attribute(V__Order,s__DayOrder) =>
     (s__agreementPeriod(V__Order,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(n__1,s__DayDuration)))
)
)

FinancialOntology.kif 2861-2865
( ! [V__DAY] :
   (s__instance(V__DAY,s__Day) =>
     s__duration(V__DAY,s__MeasureFn(n__1,s__DayDuration))
   )
)

Merge.kif 8645-8647
( ! [V__H] :
   (s__instance(V__H,s__Hanukkah) =>
     s__duration(V__H,s__MeasureFn(n__8,s__DayDuration))
   )
)

Media.kif 580-582
( ! [V__Period,V__Loan] :
   (s__instance(V__Period,s__TimeInterval) =>
     s__instance(V__Loan,s__DayLoan) =>
     (s__agreementPeriod(V__Loan,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(n__1,s__DayDuration)))
)
)

FinancialOntology.kif 1521-1525
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__April) =>
     s__duration(V__MONTH,s__MeasureFn(n__30,s__DayDuration))
   )
)

Merge.kif 8513-8515
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__August) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

Merge.kif 8569-8571
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__December) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

Merge.kif 8626-8628
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__January) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

Merge.kif 8461-8463
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__July) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

Merge.kif 8555-8557
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__June) =>
     s__duration(V__MONTH,s__MeasureFn(n__30,s__DayDuration))
   )
)

Merge.kif 8541-8543
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__March) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

Merge.kif 8499-8501
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__May) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

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

Merge.kif 8612-8614
( ! [V__MONTH] :
   (s__instance(V__MONTH,s__October) =>
     s__duration(V__MONTH,s__MeasureFn(n__31,s__DayDuration))
   )
)

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

Merge.kif 8584-8586
( ! [V__T1] :
   (s__instance(V__T1,s__Lent) =>
     s__duration(V__T1,s__MeasureFn(n__40,s__DayDuration))
   )
)

Media.kif 455-457

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


s__diseaseIncubation(s__Botulism,s__MeasureFn(n__2,s__HourDuration),s__MeasureFn(n__8,s__DayDuration))

WMD.kif 336-336 Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
s__diseaseIncubation(s__BubonicPlague,s__MeasureFn(n__2,s__DayDuration),s__MeasureFn(n__6,s__DayDuration))

WMD.kif 414-414 Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s)
s__diseaseIncubation(s__CrimeanCongoHemorrhagicFever,s__MeasureFn(n__5,s__DayDuration),s__MeasureFn(n__13,s__DayDuration))

WMD.kif 1777-1777 Crimean congo hemorrhagic fever disease incubation 5 day duration(s) for 13 day duration(s)
s__diseaseIncubation(s__Diphtheria,s__MeasureFn(n__2,s__DayDuration),s__MeasureFn(n__5,s__DayDuration))

WMD.kif 1769-1769 Diphtheria disease incubation 2 day duration(s) for 5 day duration(s)
s__diseaseIncubation(s__HerpesB,s__MeasureFn(n__10,s__DayDuration),s__MeasureFn(n__20,s__DayDuration))

WMD.kif 1416-1416 Herpes b disease incubation 10 day duration(s) for 20 day duration(s)
s__diseaseIncubation(s__JapaneseEncephalitis,s__MeasureFn(n__6,s__DayDuration),s__MeasureFn(n__8,s__DayDuration))

WMD.kif 1579-1579 Japanese encephalitis disease incubation 6 day duration(s) for 8 day duration(s)
s__diseaseIncubation(s__KyasanurForestDisease,s__MeasureFn(n__3,s__DayDuration),s__MeasureFn(n__8,s__DayDuration))

WMD.kif 1864-1864 Kyasanur forest disease disease incubation 3 day duration(s) for 8 day duration(s)
s__diseaseIncubation(s__MarburgDisease,s__MeasureFn(n__3,s__DayDuration),s__MeasureFn(n__7,s__DayDuration))

WMD.kif 1609-1609 Marburg disease disease incubation 3 day duration(s) for 7 day duration(s)
s__diseaseIncubation(s__Pertussis,s__MeasureFn(n__6,s__DayDuration),s__MeasureFn(n__21,s__DayDuration))

WMD.kif 1445-1445 Pertussis disease incubation 6 day duration(s) for 21 day duration(s)
s__diseaseIncubation(s__PneumonicPlague,s__MeasureFn(n__3,s__DayDuration),s__MeasureFn(n__4,s__DayDuration))

WMD.kif 419-419 Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s)
s__diseaseIncubation(s__Psittacosis,s__MeasureFn(n__6,s__DayDuration),s__MeasureFn(n__19,s__DayDuration))

WMD.kif 1467-1467 Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
s__diseaseIncubation(s__RotavirusGastroenteritis,s__MeasureFn(n__1,s__DayDuration),s__MeasureFn(n__3,s__DayDuration))

WMD.kif 1690-1690 Rotavirus gastroenteritis disease incubation 1 day duration(s) for 3 day duration(s)
s__diseaseIncubation(s__SaintLouisEncephalitis,s__MeasureFn(n__5,s__DayDuration),s__MeasureFn(n__15,s__DayDuration))

WMD.kif 1548-1548 Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s)
s__diseaseIncubation(s__ScarletFever,s__MeasureFn(n__1,s__DayDuration),s__MeasureFn(n__4,s__DayDuration))

WMD.kif 1627-1627 Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s)
s__diseaseIncubation(s__Tetanus,s__MeasureFn(n__3,s__DayDuration),s__MeasureFn(n__3,s__WeekDuration))

WMD.kif 1402-1402 Tetanus disease incubation 3 day duration(s) for 3 week duration(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__DayDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__24)
    ,s__HourDuration))
   )
)

Merge.kif 6755-6757 A real number day duration(s) is equal to the real number and 24 hour duration(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__WeekDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__7)
    ,s__DayDuration))
   )
)

Merge.kif 6780-6782 A real number week duration(s) is equal to the real number and 7 day duration(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__YearDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__365)
    ,s__DayDuration))
   )
)

Merge.kif 6802-6804 A real number year duration(s) is equal to the real number and 365 day duration(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     s__greaterThanOrEqualTo(s__MeasureFn(V__NUMBER,s__MonthDuration),s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__28)
  ,s__DayDuration))
)
)

Merge.kif 6790-6792 A real number month duration(s) is greater than or equal to the real number and 28 day duration(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     s__lessThanOrEqualTo(s__MeasureFn(V__NUMBER,s__MonthDuration),s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__31)
  ,s__DayDuration))
)
)

Merge.kif 6794-6796 A real number month duration(s) is less than or equal to the real number and 31 day duration(s)


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