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 "这是时间单位,一周 为期七天。") chinese_format.kif 2582-2582
(documentation WeekDuration EnglishLanguage "Time unit. A week's duration is seven days.") Merge.kif 6822-6823
(instance WeekDuration TimeDuration) Merge.kif 6821-6821 instance WeekDuration and TimeDuration
(instance WeekDuration UnitOfDuration) Merge.kif 6820-6820 instance WeekDuration and UnitOfDuration

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


(termFormat ChineseLanguage WeekDuration "周持续时间") domainEnglishFormat.kif 62573-62573
(termFormat ChineseTraditionalLanguage WeekDuration "週持續時間") domainEnglishFormat.kif 62572-62572
(termFormat EnglishLanguage WeekDuration "week duration") domainEnglishFormat.kif 62571-62571

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


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

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


(diseaseIncubation LassaFever
    (MeasureFn 1 WeekDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1732-1732 diseaseIncubation LassaFever, MeasureFn 1 and WeekDuration and MeasureFn 3 and WeekDuration
(diseaseIncubation LouseBorneTyphus
    (MeasureFn 1 WeekDuration)
    (MeasureFn 2 WeekDuration))
WMD.kif 272-272 diseaseIncubation LouseBorneTyphus, MeasureFn 1 and WeekDuration and MeasureFn 2 and WeekDuration
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1402-1402 diseaseIncubation Tetanus, MeasureFn 3 and DayDuration and MeasureFn 3 and WeekDuration
(equal
    (MeasureFn ?NUMBER WeekDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 7) DayDuration))
Merge.kif 6825-6827 equal MeasureFn RealNumber and WeekDuration and MeasureFn MultiplicationFn RealNumber and 7 and DayDuration


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