duration

-------------------------


(=>
    (instance ?H Hanukkah)
    (duration ?H
        (MeasureFn 8 DayDuration)))
Media.kif 580-582
(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 9346-9348
(=>
    (instance ?IV IVBolusTherapy)
    (and
        (duration
            (WhenFn ?IV)
            (MeasureFn ?N MinuteDuration))
        (lessThan ?N 5.0)))
Medicine.kif 6162-6168
(=>
    (instance ?Loan DayLoan)
    (and
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 1579-1583
(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))
Merge.kif 9356-9358
(=>
    (instance ?MONTH April)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9104-9106
(=>
    (instance ?MONTH August)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9160-9162
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9217-9219
(=>
    (instance ?MONTH January)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9052-9054
(=>
    (instance ?MONTH July)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9146-9148
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9132-9134
(=>
    (instance ?MONTH March)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9090-9092
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9118-9120
(=>
    (instance ?MONTH November)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9203-9205
(=>
    (instance ?MONTH October)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9189-9191
(=>
    (instance ?MONTH September)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9175-9177
(=>
    (instance ?PROCESS Blizzard)
    (holdsDuring
        (WhenFn ?PROCESS)
        (exists (?AREA ?GALE ?DURATION)
            (and
                (instance ?AREA GeographicArea)
                (eventLocated ?PROCESS ?AREA)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?GALE KnotUnitOfSpeed))
                (greaterThan ?GALE 35.0)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 2627-2640
(=>
    (instance ?Q QuarterYear)
    (duration ?Q
        (MeasureFn 3 MonthDuration)))
Merge.kif 8991-8993
(=>
    (instance ?SECOND Second)
    (duration ?SECOND
        (MeasureFn 1 SecondDuration)))
Merge.kif 9366-9368
(=>
    (instance ?T1 Lent)
    (duration ?T1
        (MeasureFn 40 DayDuration)))
Media.kif 455-457
(=>
    (instance ?WEEK Week)
    (duration ?WEEK
        (MeasureFn 1 WeekDuration)))
Merge.kif 9336-9338
(=>
    (instance ?YEAR Year)
    (duration ?YEAR
        (MeasureFn 1 YearDuration)))
Merge.kif 8744-8746
(=>
    (measuringListDuration ?LIST ?DURATION)
    (exists (?T)
        (and
            (equal ?T
                (TimeIntervalFn
                    (BeginFn
                        (WhenFn
                            (FirstFn ?LIST)))
                    (EndFn
                        (WhenFn
                            (LastFn ?LIST)))))
            (duration ?T ?DURATION))))
Weather.kif 1878-1886
(=>
    (property ?Option ConventionalOption)
    (exists (?Number ?Period)
        (and
            (agreementPeriod ?Option ?Period)
            (duration ?Period
                (MeasureFn ?Number MonthDuration))
            (lessThan ?Number 39))))
FinancialOntology.kif 2574-2580
(=>
    (property ?Option ConventionalOption)
    (exists (?Number ?Period)
        (and
            (agreementPeriod ?Option ?Period)
            (duration ?Period
                (MeasureFn ?Number MonthDuration))
            (lessThan ?Number 9))))
FinancialOntology.kif 2558-2564

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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