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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeekDuration
WeekDuration(week duration)

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


s__documentation(s__WeekDuration,s__ChineseLanguage,'"这是时间单位,一周 为期七天。"')

chinese_format.kif 2582-2582
s__documentation(s__WeekDuration,s__EnglishLanguage,'"Time unit. A weeks duration is seven days."')

Merge.kif 6866-6867
s__instance(s__TimeDuration,s__SetOrClass)

s__instance(s__WeekDuration,s__TimeDuration)

Merge.kif 6865-6865 Week duration is an instance of time duration
s__instance(s__WeekDuration,s__UnitOfDuration)

s__instance(s__UnitOfDuration,s__SetOrClass)

Merge.kif 6864-6864 Week duration is an instance of UnitOfDuration

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


s__termFormat(s__ChineseLanguage,s__WeekDuration,'"周持续时间"')

domainEnglishFormat.kif 62621-62621
s__termFormat(s__ChineseTraditionalLanguage,s__WeekDuration,'"週持續時間"')

domainEnglishFormat.kif 62620-62620
s__termFormat(s__EnglishLanguage,s__WeekDuration,'"week duration"')

domainEnglishFormat.kif 62619-62619

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


( ! [V__TI,V__WF] :
   (((s__instance(V__TI,s__TimeInterval) &
         s__instance(V__TI,s__TimePeriod) &
         s__instance(V__WF,s__Week))
       =>
       (((V__WF = s__WeekBeforeFn(V__TI))
         =>
         ((V__WF = s__TimeIntervalFn(s__SubtractionFn(s__BeginFn(V__TI)
          ,s__MeasureFn(n__1,s__WeekDuration))
        ,s__BeginFn(V__TI)))))))
)
)

Mid-level-ontology.kif 13177-13184
( ! [V__WEEK] :
   ((s__instance(V__WEEK,s__Week) =>
       (s__duration(V__WEEK,s__MeasureFn(n__1,s__WeekDuration))))
   )
)

Merge.kif 8930-8932

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


s__diseaseIncubation(s__LassaFever,s__MeasureFn(n__1,s__WeekDuration),s__MeasureFn(n__3,s__WeekDuration))

WMD.kif 1805-1805 Lassa fever disease incubation 1 week duration(s) for 3 week duration(s)
s__diseaseIncubation(s__LouseBorneTyphus,s__MeasureFn(n__1,s__WeekDuration),s__MeasureFn(n__2,s__WeekDuration))

WMD.kif 272-272 Louse borne typhus disease incubation 1 week duration(s) for 2 week 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__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)


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