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 7086-7086
(documentation DayDuration JapaneseLanguage "時間単位。1 日 = 24 時間。") japanese_format.kif 1286-1286
(instance DayDuration TimeDuration) Merge.kif 7085-7085 DayDuration è un' istanza di Durata
(instance DayDuration UnitOfDuration) Merge.kif 7084-7084 DayDuration è un' istanza di UnitOfDuration

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


(relatedInternalConcept Day DayDuration) Merge.kif 9268-9268 Giorno è interamente correlato a DayDuration
(termFormat ChineseLanguage DayDuration "一天长度") domainEnglishFormat.kif 18654-18654
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") domainEnglishFormat.kif 18653-18653
(termFormat EnglishLanguage DayDuration "day duration") domainEnglishFormat.kif 18652-18652

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9499-9503
(=>
    (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 7123-7127
(=>
    (equal
        (MeasureFn 1 MonthDuration)
        (MeasureFn ?NUMBER DayDuration))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 7129-7133

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))		 Merge.kif 9109-9114
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))		 Merge.kif 9102-9107
(=>
    (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
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))		 Merge.kif 9272-9274
(=>
    (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 1579-1583
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9140-9142
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9196-9198
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9253-9255
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9088-9090
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9182-9184
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9168-9170
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9126-9128
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9154-9156
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9239-9241
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))		 Merge.kif 9225-9227
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9211-9213
(=>
    (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 2940-2944

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


(diseaseIncubation Botulism
    (MeasureFn 2 HourDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 336-336 diseaseIncubation Botulism, 2 HourDuration(s and 8 DayDuration(s
(diseaseIncubation BubonicPlague
    (MeasureFn 2 DayDuration)
    (MeasureFn 6 DayDuration))		 WMD.kif 419-419 diseaseIncubation BubonicPlague, 2 DayDuration(s and 6 DayDuration(s
(diseaseIncubation Covid19
    (MeasureFn 1 DayDuration)
    (MeasureFn 14 DayDuration))		 VirusProteinAndCellPart.kif 1241-1243 diseaseIncubation Covid19, 1 DayDuration(s and 14 DayDuration(s
(diseaseIncubation CrimeanCongoHemorrhagicFever
    (MeasureFn 5 DayDuration)
    (MeasureFn 13 DayDuration))		 WMD.kif 1911-1911 diseaseIncubation CrimeanCongoHemorrhagicFever, 5 DayDuration(s and 13 DayDuration(s
(diseaseIncubation Diphtheria
    (MeasureFn 2 DayDuration)
    (MeasureFn 5 DayDuration))		 WMD.kif 1903-1903 diseaseIncubation Diphtheria, 2 DayDuration(s and 5 DayDuration(s
(diseaseIncubation HerpesB
    (MeasureFn 10 DayDuration)
    (MeasureFn 20 DayDuration))		 WMD.kif 1519-1519 diseaseIncubation HerpesB, 10 DayDuration(s and 20 DayDuration(s
(diseaseIncubation JapaneseEncephalitis
    (MeasureFn 6 DayDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 1713-1713 diseaseIncubation JapaneseEncephalitis, 6 DayDuration(s and 8 DayDuration(s
(diseaseIncubation KyasanurForestDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 8 DayDuration))		 WMD.kif 2047-2047 diseaseIncubation KyasanurForestDisease, 3 DayDuration(s and 8 DayDuration(s
(diseaseIncubation MarburgDisease
    (MeasureFn 3 DayDuration)
    (MeasureFn 7 DayDuration))		 WMD.kif 1743-1743 diseaseIncubation MarburgDisease, 3 DayDuration(s and 7 DayDuration(s
(diseaseIncubation Pertussis
    (MeasureFn 6 DayDuration)
    (MeasureFn 21 DayDuration))		 WMD.kif 1580-1580 diseaseIncubation Pertussis, 6 DayDuration(s and 21 DayDuration(s
(diseaseIncubation PneumonicPlague
    (MeasureFn 3 DayDuration)
    (MeasureFn 4 DayDuration))		 WMD.kif 424-424 diseaseIncubation PneumonicPlague, 3 DayDuration(s and 4 DayDuration(s
(diseaseIncubation Psittacosis
    (MeasureFn 6 DayDuration)
    (MeasureFn 19 DayDuration))		 WMD.kif 1602-1602 diseaseIncubation Psittacosis, 6 DayDuration(s and 19 DayDuration(s
(diseaseIncubation RotavirusGastroenteritis
    (MeasureFn 1 DayDuration)
    (MeasureFn 3 DayDuration))		 WMD.kif 1824-1824 diseaseIncubation RotavirusGastroenteritis, 1 DayDuration(s and 3 DayDuration(s
(diseaseIncubation SaintLouisEncephalitis
    (MeasureFn 5 DayDuration)
    (MeasureFn 15 DayDuration))		 WMD.kif 1682-1682 diseaseIncubation SaintLouisEncephalitis, 5 DayDuration(s and 15 DayDuration(s
(diseaseIncubation ScarletFever
    (MeasureFn 1 DayDuration)
    (MeasureFn 4 DayDuration))		 WMD.kif 1761-1761 diseaseIncubation ScarletFever, 1 DayDuration(s and 4 DayDuration(s
(diseaseIncubation Tetanus
    (MeasureFn 3 DayDuration)
    (MeasureFn 3 WeekDuration))		 WMD.kif 1499-1499 diseaseIncubation Tetanus, 3 DayDuration(s and 3 WeekDuration(s
(equal
    (MeasureFn 1 WeekDuration)
    (MeasureFn 7 DayDuration))		 Merge.kif 7113-7115 1 WeekDuration(s is uguale a 7 DayDuration(s
(equal
    (MeasureFn 1 YearDuration)
    (MeasureFn 365 DayDuration))		 Merge.kif 7140-7142 1 YearDuration(s is uguale a 365 DayDuration(s
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7088-7090 NumeroReale DayDuration(s is uguale a NumeroReale + 24 HourDuration(s


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