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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DayDuration

Sigma KEE - DayDuration
DayDuration(day duration)all_day_long, day, daylong, sidereal_day

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 6763-6763
(instance DayDuration UnitOfDuration) Merge.kif 6762-6762 Day duration is an instance of UnitOfDuration

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


(relatedInternalConcept Day DayDuration) Merge.kif 8651-8651 Day is internally related to day duration
(termFormat ChineseLanguage DayDuration "一天长度") domainEnglishFormat.kif 18577-18577
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") domainEnglishFormat.kif 18576-18576
(termFormat EnglishLanguage DayDuration "day duration") domainEnglishFormat.kif 18575-18575

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 8882-8886
(=>
    (and
        (instance ?P Passover)
        (duration ?P
            (MeasureFn ?N DayDuration)))
    (or
        (equal ?N 7)
        (equal ?N 8)))
Media.kif 611-617

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 8492-8497
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8485-8490
(=>
    (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 ?HP ?AGENT)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (part ?ROOM ?HOTEL)
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))
Hotel.kif 2687-2699
(=>
    (attribute ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 2861-2865
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 8655-8657
(=>
    (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 1521-1525
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8523-8525
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8579-8581
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8636-8638
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8471-8473
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8565-8567
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8551-8553
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8509-8511
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8537-8539
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8622-8624
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8608-8610
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8594-8596
(=>
    (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 Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
(diseaseIncubation BubonicPlague
    (MeasureFn 2 DayDuration)
    (MeasureFn 6 DayDuration))
WMD.kif 414-414 Bubonic plague disease incubation 2 day duration(s) for 6 day duration(s)
(diseaseIncubation CrimeanCongoHemorrhagicFever
    (MeasureFn 5 DayDuration)
    (MeasureFn 13 DayDuration))
WMD.kif 1777-1777 Crimean congo hemorrhagic fever disease incubation 5 day duration(s) for 13 day duration(s)
(diseaseIncubation Diphtheria
    (MeasureFn 2 DayDuration)
    (MeasureFn 5 DayDuration))
WMD.kif 1769-1769 Diphtheria disease incubation 2 day duration(s) for 5 day duration(s)
(diseaseIncubation HerpesB
    (MeasureFn 10 DayDuration)
    (MeasureFn 20 DayDuration))
WMD.kif 1416-1416 Herpes b disease incubation 10 day duration(s) for 20 day duration(s)
(diseaseIncubation JapaneseEncephalitis
    (MeasureFn 6 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1579-1579 Japanese encephalitis disease incubation 6 day duration(s) for 8 day duration(s)
(diseaseIncubation KyasanurForestDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1864-1864 Kyasanur forest disease disease incubation 3 day duration(s) for 8 day duration(s)
(diseaseIncubation MarburgDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 7 DayDuration))
WMD.kif 1609-1609 Marburg disease disease incubation 3 day duration(s) for 7 day duration(s)
(diseaseIncubation Pertussis
    (MeasureFn 6 DayDuration)
    (MeasureFn 21 DayDuration))
WMD.kif 1445-1445 Pertussis disease incubation 6 day duration(s) for 21 day duration(s)
(diseaseIncubation PneumonicPlague
    (MeasureFn 3 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 419-419 Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s)
(diseaseIncubation Psittacosis
    (MeasureFn 6 DayDuration)
    (MeasureFn 19 DayDuration))
WMD.kif 1467-1467 Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
(diseaseIncubation RotavirusGastroenteritis
    (MeasureFn 1 DayDuration)
    (MeasureFn 3 DayDuration))
WMD.kif 1690-1690 Rotavirus gastroenteritis disease incubation 1 day duration(s) for 3 day duration(s)
(diseaseIncubation SaintLouisEncephalitis
    (MeasureFn 5 DayDuration)
    (MeasureFn 15 DayDuration))
WMD.kif 1548-1548 Saint louis encephalitis disease incubation 5 day duration(s) for 15 day duration(s)
(diseaseIncubation ScarletFever
    (MeasureFn 1 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 1627-1627 Scarlet fever disease incubation 1 day duration(s) for 4 day duration(s)
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1402-1402 Tetanus disease incubation 3 day duration(s) for 3 week duration(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6765-6767 A real number day duration(s) is equal to the real number and 24 hour duration(s)
(equal
    (MeasureFn ?NUMBER WeekDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 7) DayDuration))
Merge.kif 6790-6792 A real number week duration(s) is equal to the real number and 7 day duration(s)
(equal
    (MeasureFn ?NUMBER YearDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 365) DayDuration))
Merge.kif 6812-6814 A real number year duration(s) is equal to the real number and 365 day duration(s)
(greaterThanOrEqualTo
    (MeasureFn ?NUMBER MonthDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 28) DayDuration))
Merge.kif 6800-6802 A real number month duration(s) is greater than or equal to the real number and 28 day duration(s)
(lessThanOrEqualTo
    (MeasureFn ?NUMBER MonthDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 31) DayDuration))
Merge.kif 6804-6806 A real number month duration(s) is less than or equal to the real number and 31 day duration(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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