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 7095-7095
(documentation DayDuration JapaneseLanguage "時間単位。1 日 = 24 時間。") japanese_format.kif 1286-1286
(instance DayDuration TimeDuration) Merge.kif 7094-7094
(instance DayDuration UnitOfDuration) Merge.kif 7093-7093

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


(relatedInternalConcept Day DayDuration) Merge.kif 9330-9330
(termFormat ChineseLanguage DayDuration "一天长度") domainEnglishFormat.kif 18669-18669
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") domainEnglishFormat.kif 18668-18668
(termFormat EnglishLanguage DayDuration "day duration") domainEnglishFormat.kif 18667-18667

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9584-9588
(=>
    (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 7132-7136
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 7138-7142

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))		 Merge.kif 9171-9176
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))		 Merge.kif 9164-9169
(=>
    (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 2755-2768
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))		 Merge.kif 9334-9336
(=>
    (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 1595-1599
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9202-9204
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9258-9260
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9315-9317
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9150-9152
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9244-9246
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9230-9232
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9188-9190
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9216-9218
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9301-9303
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9287-9289
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9273-9275
(=>
    (instance ?T1 Lent)
    (duration ?T1
        (MeasureFn 40 DayDuration)))		 Media.kif 455-457
(=>
    (property ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))		 FinancialOntology.kif 2957-2961

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


(diseaseIncubation Botulism
    (MeasureFn 2 HourDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 336-336
(diseaseIncubation BubonicPlague
    (MeasureFn 2 DayDuration)
    (MeasureFn 6 DayDuration))		 WMD.kif 419-419
(diseaseIncubation Covid19
    (MeasureFn 1 DayDuration)
    (MeasureFn 14 DayDuration))		 VirusProteinAndCellPart.kif 1248-1250
(diseaseIncubation CrimeanCongoHemorrhagicFever
    (MeasureFn 5 DayDuration)
    (MeasureFn 13 DayDuration))		 WMD.kif 1911-1911
(diseaseIncubation Diphtheria
    (MeasureFn 2 DayDuration)
    (MeasureFn 5 DayDuration))		 WMD.kif 1903-1903
(diseaseIncubation HerpesB
    (MeasureFn 10 DayDuration)
    (MeasureFn 20 DayDuration))		 WMD.kif 1519-1519
(diseaseIncubation JapaneseEncephalitis
    (MeasureFn 6 DayDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 1713-1713
(diseaseIncubation KyasanurForestDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 2047-2047
(diseaseIncubation MarburgDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 7 DayDuration))		 WMD.kif 1743-1743
(diseaseIncubation Pertussis
    (MeasureFn 6 DayDuration)
    (MeasureFn 21 DayDuration))		 WMD.kif 1580-1580
(diseaseIncubation PneumonicPlague
    (MeasureFn 3 DayDuration)
    (MeasureFn 4 DayDuration))		 WMD.kif 424-424
(diseaseIncubation Psittacosis
    (MeasureFn 6 DayDuration)
    (MeasureFn 19 DayDuration))		 WMD.kif 1602-1602
(diseaseIncubation RotavirusGastroenteritis
    (MeasureFn 1 DayDuration)
    (MeasureFn 3 DayDuration))		 WMD.kif 1824-1824
(diseaseIncubation SaintLouisEncephalitis
    (MeasureFn 5 DayDuration)
    (MeasureFn 15 DayDuration))		 WMD.kif 1682-1682
(diseaseIncubation ScarletFever
    (MeasureFn 1 DayDuration)
    (MeasureFn 4 DayDuration))		 WMD.kif 1761-1761
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))		 WMD.kif 1499-1499
(equal
    (MeasureFn 1 WeekDuration)
    (MeasureFn 7 DayDuration))		 Merge.kif 7122-7124
(equal
    (MeasureFn 1 YearDuration)
    (MeasureFn 365 DayDuration))		 Merge.kif 7149-7151
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7097-7099


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