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 6667-6667
(instance DayDuration UnitOfDuration) Merge.kif 6666-6666

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


(relatedInternalConcept Day DayDuration) Merge.kif 8550-8550
(termFormat ChineseLanguage DayDuration "一天长度") domainEnglishFormat.kif 18583-18583
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") domainEnglishFormat.kif 18582-18582
(termFormat EnglishLanguage DayDuration "day duration") domainEnglishFormat.kif 18581-18581

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 8781-8785
(=>
    (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 8391-8396
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8384-8389
(=>
    (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
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 8554-8556
(=>
    (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 8422-8424
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8478-8480
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8535-8537
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8370-8372
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8464-8466
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8450-8452
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8408-8410
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8436-8438
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8521-8523
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8507-8509
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8493-8495
(=>
    (instance ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 2860-2864
(=>
    (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
(diseaseIncubation BubonicPlague
    (MeasureFn 2 DayDuration)
    (MeasureFn 6 DayDuration))
WMD.kif 414-414
(diseaseIncubation CrimeanCongoHemorrhagicFever
    (MeasureFn 5 DayDuration)
    (MeasureFn 13 DayDuration))
WMD.kif 1771-1771
(diseaseIncubation Diphtheria
    (MeasureFn 2 DayDuration)
    (MeasureFn 5 DayDuration))
WMD.kif 1763-1763
(diseaseIncubation HerpesB
    (MeasureFn 10 DayDuration)
    (MeasureFn 20 DayDuration))
WMD.kif 1410-1410
(diseaseIncubation JapaneseEncephalitis
    (MeasureFn 6 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1573-1573
(diseaseIncubation KyasanurForestDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1858-1858
(diseaseIncubation MarburgDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 7 DayDuration))
WMD.kif 1603-1603
(diseaseIncubation Pertussis
    (MeasureFn 6 DayDuration)
    (MeasureFn 21 DayDuration))
WMD.kif 1439-1439
(diseaseIncubation PneumonicPlague
    (MeasureFn 3 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 419-419
(diseaseIncubation Psittacosis
    (MeasureFn 6 DayDuration)
    (MeasureFn 19 DayDuration))
WMD.kif 1461-1461
(diseaseIncubation RotavirusGastroenteritis
    (MeasureFn 1 DayDuration)
    (MeasureFn 3 DayDuration))
WMD.kif 1684-1684
(diseaseIncubation SaintLouisEncephalitis
    (MeasureFn 5 DayDuration)
    (MeasureFn 15 DayDuration))
WMD.kif 1542-1542
(diseaseIncubation ScarletFever
    (MeasureFn 1 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 1621-1621
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1396-1396
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6669-6671
(equal
    (MeasureFn ?NUMBER WeekDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 7) DayDuration))
Merge.kif 6694-6696
(equal
    (MeasureFn ?NUMBER YearDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 365) DayDuration))
Merge.kif 6716-6718
(greaterThanOrEqualTo
    (MeasureFn ?NUMBER MonthDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 28) DayDuration))
Merge.kif 6704-6706
(lessThanOrEqualTo
    (MeasureFn ?NUMBER MonthDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 31) DayDuration))
Merge.kif 6708-6710


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