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 6842-6842
s__instance(s__DayDuration,s__TimeDuration)

s__instance(s__TimeDuration,s__SetOrClass)

Merge.kif 6841-6841 Day duration is an instance of time duration
s__instance(s__UnitOfDuration,s__SetOrClass)

s__instance(s__DayDuration,s__UnitOfDuration)

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

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


s__relatedInternalConcept(s__Day,s__DayDuration)

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

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

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

domainEnglishFormat.kif 18643-18643

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 9057-9061
( ! [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__instance(V__YEAR,s__Class) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((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 8667-8672
( ! [V__MONTH,V__Y,V__YEAR] :
   (((s__instance(V__MONTH,s__TimeInterval) &
         s__instance(V__YEAR,s__Class) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((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 8660-8665
( ! [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 2701-2713
( ! [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 2880-2884
( ! [V__DAY] :
   ((s__instance(V__DAY,s__Day) =>
       (s__duration(V__DAY,s__MeasureFn(n__1,s__DayDuration))))
   )
)

Merge.kif 8830-8832
( ! [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 1534-1538
( ! [V__MONTH] :
   ((s__instance(V__MONTH,s__April) =>
       (s__duration(V__MONTH,s__MeasureFn(n__30,s__DayDuration))))
   )
)

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

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

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

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

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

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

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

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

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

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

Merge.kif 8769-8771
( ! [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__Covid19,s__MeasureFn(n__1,s__DayDuration),s__MeasureFn(n__14,s__DayDuration))

VirusProteinAndCellPart.kif 658-660 Covid disease incubation 1 day duration(s) for 14 day duration(s)
s__diseaseIncubation(s__CrimeanCongoHemorrhagicFever,s__MeasureFn(n__5,s__DayDuration),s__MeasureFn(n__13,s__DayDuration))

WMD.kif 1850-1850 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 1842-1842 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 1489-1489 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 1652-1652 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 1981-1981 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 1682-1682 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 1518-1518 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 1540-1540 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 1763-1763 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 1621-1621 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 1700-1700 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 1469-1469 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 6844-6846 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 6869-6871 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 6892-6894 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 6879-6881 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 6883-6885 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 3.0 is open source software produced by Articulate Software and its partners