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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeekDuration
WeekDuration

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


(documentation WeekDuration ChineseLanguage "这是时间单位,一周 为期七天。") Merge.kif 7379-7379
(documentation WeekDuration EnglishLanguage "Time unit. A week's duration is seven days.") Merge.kif 7377-7378
(instance WeekDuration UnitOfDuration) Merge.kif 7376-7376

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


(termFormat EnglishLanguage WeekDuration "week duration") domainEnglishFormat.kif 10867-10867

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


(=>
    (instance ?WEEK Week)
    (duration ?WEEK
        (MeasureFn 1 WeekDuration)))
Merge.kif 9361-9363

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


(diseaseIncubation LassaFever
    (MeasureFn 1 WeekDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1715-1715
(diseaseIncubation LouseBorneTyphus
    (MeasureFn 1 WeekDuration)
    (MeasureFn 2 WeekDuration))
WMD.kif 272-272
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1385-1385
(equal
    (MeasureFn ?NUMBER WeekDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 7) DayDuration))
Merge.kif 7381-7383


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