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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DayDuration

Sigma KEE - DayDuration
DayDuration

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


(documentation DayDuration ChineseLanguage "这是时间单位,1日 = 24小时。") Merge.kif 7354-7354
(documentation DayDuration EnglishLanguage "Time unit. 1 day = 24 hours.") Merge.kif 7353-7353
(instance DayDuration UnitOfDuration) Merge.kif 7352-7352 DayDurationUnitOfDurationinstance

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


(relatedInternalConcept Day DayDuration) Merge.kif 9256-9256 DayDuration 是 内部相关
(termFormat EnglishLanguage DayDuration "day duration") domainEnglishFormat.kif 3530-3530 termFormat EnglishLanguage, DayDuration and "day duration"

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9492-9496
(=>
    (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 9096-9101
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9089-9094
(=>
    (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)
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))
Hotel.kif 2682-2693
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 9260-9262
(=>
    (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 1523-1527
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9127-9129
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9183-9185
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9241-9243
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9075-9077
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9169-9171
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9155-9157
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9113-9115
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9141-9143
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9227-9229
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9213-9215
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9199-9201
(=>
    (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 Botulism, 2 HourDuration and 8 DayDuration
(diseaseIncubation BubonicPlague
    (MeasureFn 2 DayDuration)
    (MeasureFn 6 DayDuration))
WMD.kif 414-414 diseaseIncubation BubonicPlague, 2 DayDuration and 6 DayDuration
(diseaseIncubation CrimeanCongoHemorrhagicFever
    (MeasureFn 5 DayDuration)
    (MeasureFn 13 DayDuration))
WMD.kif 1760-1760 diseaseIncubation CrimeanCongoHemorrhagicFever, 5 DayDuration and 13 DayDuration
(diseaseIncubation Diphtheria
    (MeasureFn 2 DayDuration)
    (MeasureFn 5 DayDuration))
WMD.kif 1752-1752 diseaseIncubation Diphtheria, 2 DayDuration and 5 DayDuration
(diseaseIncubation HerpesB
    (MeasureFn 10 DayDuration)
    (MeasureFn 20 DayDuration))
WMD.kif 1399-1399 diseaseIncubation HerpesB, 10 DayDuration and 20 DayDuration
(diseaseIncubation JapaneseEncephalitis
    (MeasureFn 6 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1562-1562 diseaseIncubation JapaneseEncephalitis, 6 DayDuration and 8 DayDuration
(diseaseIncubation KyasanurForestDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 8 DayDuration))
WMD.kif 1847-1847 diseaseIncubation KyasanurForestDisease, 3 DayDuration and 8 DayDuration
(diseaseIncubation MarburgDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 7 DayDuration))
WMD.kif 1592-1592 diseaseIncubation MarburgDisease, 3 DayDuration and 7 DayDuration
(diseaseIncubation Pertussis
    (MeasureFn 6 DayDuration)
    (MeasureFn 21 DayDuration))
WMD.kif 1428-1428 diseaseIncubation Pertussis, 6 DayDuration and 21 DayDuration
(diseaseIncubation PneumonicPlague
    (MeasureFn 3 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 419-419 diseaseIncubation PneumonicPlague, 3 DayDuration and 4 DayDuration
(diseaseIncubation Psittacosis
    (MeasureFn 6 DayDuration)
    (MeasureFn 19 DayDuration))
WMD.kif 1450-1450 diseaseIncubation Psittacosis, 6 DayDuration and 19 DayDuration
(diseaseIncubation RotavirusGastroenteritis
    (MeasureFn 1 DayDuration)
    (MeasureFn 3 DayDuration))
WMD.kif 1673-1673 diseaseIncubation RotavirusGastroenteritis, 1 DayDuration and 3 DayDuration
(diseaseIncubation SaintLouisEncephalitis
    (MeasureFn 5 DayDuration)
    (MeasureFn 15 DayDuration))
WMD.kif 1531-1531 diseaseIncubation SaintLouisEncephalitis, 5 DayDuration and 15 DayDuration
(diseaseIncubation ScarletFever
    (MeasureFn 1 DayDuration)
    (MeasureFn 4 DayDuration))
WMD.kif 1610-1610 diseaseIncubation ScarletFever, 1 DayDuration and 4 DayDuration
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))
WMD.kif 1385-1385 diseaseIncubation Tetanus, 3 DayDuration and 3 WeekDuration
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 7356-7358 实数 DayDuration equal 那个 实数 和 24 HourDuration
(equal
    (MeasureFn ?NUMBER WeekDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 7) DayDuration))
Merge.kif 7381-7383 实数 WeekDuration equal 那个 实数 和 7 DayDuration
(equal
    (MeasureFn ?NUMBER YearDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 365) DayDuration))
Merge.kif 7405-7407 实数 YearDuration equal 那个 实数 和 365 DayDuration
(greaterThanOrEqualTo
    (MeasureFn ?NUMBER MonthDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 28) DayDuration))
Merge.kif 7392-7394 实数 MonthDurationgreaterThanOrEqualTo 那个 实数 和 28 DayDuration
(lessThanOrEqualTo
    (MeasureFn ?NUMBER MonthDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 31) DayDuration))
Merge.kif 7396-7398 实数 MonthDurationlessThanOrEqualTo 那个 实数 和 31 DayDuration


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