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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DayDuration
DayDuration(一天长度)

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


(documentation DayDuration ChineseLanguage "这是时间单位,1日 = 24小时。") chinese_format.kif 2579-2579
(documentation DayDuration EnglishLanguage "Time unit. 1 day = 24 hours.") Merge.kif 6997-6997
(instance DayDuration TimeDuration) Merge.kif 6996-6996 一天长度持续时间instance
(instance DayDuration UnitOfDuration) Merge.kif 6995-6995 一天长度UnitOfDurationinstance

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


(relatedInternalConcept Day DayDuration) Merge.kif 9141-9141 一天长度 是 内部相关
(termFormat ChineseLanguage DayDuration "一天长度") domainEnglishFormat.kif 18645-18645
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") domainEnglishFormat.kif 18644-18644
(termFormat EnglishLanguage DayDuration "day duration") domainEnglishFormat.kif 18643-18643

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9372-9376
(=>
    (and
        (instance ?P Passover)
        (duration ?P
            (MeasureFn ?N DayDuration)))
    (or
        (equal ?N 7)
        (equal ?N 8)))
Media.kif 611-617
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (greaterThanOrEqualTo ?NUMBER 28))
Merge.kif 7034-7038
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (lessThanOrEqualTo ?NUMBER 31))
Merge.kif 7040-7044

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 8982-8987
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8975-8980
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?A AscensionThursday)
        (during ?E ?Y)
        (during ?A ?Y)
        (starts ?E ?I)
        (finishes ?A ?I))
    (duration ?I
        (MeasureFn 40 DayDuration)))
Media.kif 538-547
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P PalmSunday)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?P ?I)
        (finishes ?E ?I))
    (duration ?I
        (MeasureFn 8 DayDuration)))
Media.kif 473-482
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 DayDuration)))
Media.kif 559-568
(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))
Hotel.kif 2744-2757
(=>
    (attribute ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 2947-2951
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9145-9147
(=>
    (instance ?H Hanukkah)
    (duration ?H
        (MeasureFn 8 DayDuration)))
Media.kif 580-582
(=>
    (instance ?Loan DayLoan)
    (and
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 1578-1582
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9013-9015
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9069-9071
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9126-9128
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8961-8963
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9055-9057
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9041-9043
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8999-9001
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9027-9029
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9112-9114
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9098-9100
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9084-9086
(=>
    (instance ?T1 Lent)
    (duration ?T1
        (MeasureFn 40 DayDuration)))
Media.kif 455-457

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


(diseaseIncubation Botulism
    (MeasureFn 2 HourDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 336-336 肉毒中毒 对于 %3 dis​​ease 孵化
(diseaseIncubation BubonicPlague
    (MeasureFn 2 DayDuration)
    (MeasureFn 6 DayDuration))
WMD.kif 419-419 腺鼠疫 对于 %3 dis​​ease 孵化
(diseaseIncubation Covid19
    (MeasureFn 1 DayDuration)
    (MeasureFn 14 DayDuration))
VirusProteinAndCellPart.kif 727-729 Covid19 对于 %3 dis​​ease 孵化
(diseaseIncubation CrimeanCongoHemorrhagicFever
    (MeasureFn 5 DayDuration)
    (MeasureFn 13 DayDuration))
WMD.kif 1902-1902 克里米亚刚果出血热 对于 %3 dis​​ease 孵化
(diseaseIncubation Diphtheria
    (MeasureFn 2 DayDuration)
    (MeasureFn 5 DayDuration))
WMD.kif 1894-1894 白喉 对于 %3 dis​​ease 孵化
(diseaseIncubation HerpesB
    (MeasureFn 10 DayDuration)
    (MeasureFn 20 DayDuration))
WMD.kif 1510-1510 疱疹B 对于 %3 dis​​ease 孵化
(diseaseIncubation JapaneseEncephalitis
    (MeasureFn 6 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1704-1704 日本脑炎 对于 %3 dis​​ease 孵化
(diseaseIncubation KyasanurForestDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 2037-2037 Kyasanur森林病 对于 %3 dis​​ease 孵化
(diseaseIncubation MarburgDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 7 DayDuration))
WMD.kif 1734-1734 马尔堡病 对于 %3 dis​​ease 孵化
(diseaseIncubation Pertussis
    (MeasureFn 6 DayDuration)
    (MeasureFn 21 DayDuration))
WMD.kif 1571-1571 百日咳 对于 %3 dis​​ease 孵化
(diseaseIncubation PneumonicPlague
    (MeasureFn 3 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 424-424 肺鼠疫 对于 %3 dis​​ease 孵化
(diseaseIncubation Psittacosis
    (MeasureFn 6 DayDuration)
    (MeasureFn 19 DayDuration))
WMD.kif 1593-1593 鹦鹉学舌 对于 %3 dis​​ease 孵化
(diseaseIncubation RotavirusGastroenteritis
    (MeasureFn 1 DayDuration)
    (MeasureFn 3 DayDuration))
WMD.kif 1815-1815 轮状病毒肠胃炎 对于 %3 dis​​ease 孵化
(diseaseIncubation SaintLouisEncephalitis
    (MeasureFn 5 DayDuration)
    (MeasureFn 15 DayDuration))
WMD.kif 1673-1673 圣路易斯脑炎 对于 %3 dis​​ease 孵化
(diseaseIncubation ScarletFever
    (MeasureFn 1 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 1752-1752 猩红热 对于 %3 dis​​ease 孵化
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1490-1490 破伤风 对于 %3 dis​​ease 孵化
(equal
    (MeasureFn 1 WeekDuration)
    (MeasureFn 7 DayDuration))
Merge.kif 7024-7026 1 周持续时间 equal 7 一天长度
(equal
    (MeasureFn 1 YearDuration)
    (MeasureFn 365 DayDuration))
Merge.kif 7051-7053 1 年持续时间 equal 365 一天长度
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6999-7001 实数 一天长度 equal 那个 实数 和 24 小时


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