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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - duration
duration

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


(documentation duration ChineseLanguage "(duration ?POS ?TIME)的意思是 TimePosition ?POS 的长短是 ?TIME。注;这个 Predicate 可以和 Function WhenFn 一起使用来指定任何 Physical 的 持续时间。") chinese_format.kif 2688-2690
(documentation duration EnglishLanguage "(duration ?POS ?TIME) means that the duration of the TimeInterval ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical.") Merge.kif 7676-7679
(domain duration 1 TimeInterval) Merge.kif 7673-7673
(domain duration 2 TimeDuration) Merge.kif 7674-7674
(instance duration AsymmetricRelation) Merge.kif 7671-7671
(instance duration BinaryPredicate) Merge.kif 7670-7670
(instance duration TotalValuedRelation) Merge.kif 7672-7672

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


(format ChineseLanguage duration "%1 的 duration %n 是 %2") chinese_format.kif 413-413
(format EnglishLanguage duration "duration of %1 is %n %2") english_format.kif 422-422
(termFormat ChineseLanguage duration "持续时间") domainEnglishFormat.kif 20679-20679
(termFormat ChineseLanguage duration "时段") chinese_format.kif 414-414
(termFormat ChineseTraditionalLanguage duration "持續時間") domainEnglishFormat.kif 20678-20678
(termFormat EnglishLanguage duration "duration") domainEnglishFormat.kif 20677-20677

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?H ?C))
        (instance ?H ChronicDisease)
        (duration ?T ?D))
    (greaterThan ?D
        (MeasureFn 3 MonthDuration)))
Mid-level-ontology.kif 5578-5585
(=>
    (and
        (instance ?Drawing DrawingACheck)
        (patient ?Drawing ?Check)
        (instance ?Processing ProcessingACheck)
        (patient ?Processing ?Check)
        (equal
            (WhenFn ?Drawing) ?DrawingTime)
        (equal
            (WhenFn ?Processing) ?ProcessingTime)
        (meetsTemporally ?DrawingTime ?Time)
        (meetsTemporally ?Time ?ProcessingTime)
        (duration ?Time ?Duration))
    (lessThan ?Duration
        (MeasureFn 6 MonthDuration)))
FinancialOntology.kif 155-166
(=>
    (and
        (instance ?Loan BankTermLoan)
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn ?Duration YearDuration)))
    (greaterThanOrEqualTo ?Duration 1))
FinancialOntology.kif 1451-1456
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9090-9094
(=>
    (and
        (instance ?P Passover)
        (duration ?P
            (MeasureFn ?N DayDuration)))
    (or
        (equal ?N 7)
        (equal ?N 8)))
Media.kif 611-617
(=>
    (and
        (instance ?SF SpeakingAtAFasterRate)
        (instance ?SS SpeakingAtASlowerRate)
        (instance ?U UnitOfDuration)
        (agent ?SF ?A)
        (agent ?SS ?A)
        (containsInformation ?SF ?I)
        (containsInformation ?SS ?I)
        (duration
            (WhenFn ?SF)
            (MeasureFn ?FAST ?U))
        (duration
            (WhenFn ?SS)
            (MeasureFn ?SLOW ?U)))
    (greaterThan ?FAST ?SLOW))
emotion.kif 2012-2025
(=>
    (and
        (instance ?SS SpeakingAShortUtterance)
        (instance ?SL SpeakingALongUtterance)
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?SS)
            (MeasureFn ?D1 ?U))
        (duration
            (WhenFn ?SL)
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))
emotion.kif 2100-2109
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 13232-13238
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (duration ?Period ?Duration))
    (equal ?Duration MonthDuration))
FinancialOntology.kif 3976-3980

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


(=>
    (and
        (instance ?I Insomnia)
        (experiencer ?I ?H))
    (exists (?S)
        (and
            (instance ?S Sleeping)
            (experiencer ?S ?H)
            (duration
                (WhenFn ?S) ?D)
            (desires ?H
                (and
                    (duration
                        (WhenFn ?S) ?D2)
                    (greaterThan ?D2 ?D))))))
Mid-level-ontology.kif 15588-15600
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 8700-8705
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8693-8698
(=>
    (and
        (instance ?TIME TimePoint)
        (holdsDuring ?TIME
            (age ?OBJ ?DURATION)))
    (duration
        (TimeIntervalFn
            (BeginFn
                (WhenFn ?OBJ)) ?TIME) ?DURATION))
Merge.kif 7310-7314
(=>
    (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
        (measuringListInterval ?LIST ?DUR)
        (inList ?M ?LIST))
    (duration
        (WhenFn ?M) ?DUR))
Weather.kif 1859-1863
(=>
    (and
        (recordingLength ?R ?T)
        (instance ?R AudioRecording))
    (=>
        (and
            (instance ?L Listening)
            (patient ?L ?R))
        (duration
            (WhenFn ?L) ?T)))
Music.kif 116-124
(=>
    (and
        (rentalPrice ?OBJ ?QUANT ?AGENT ?PS)
        (equal ?QUANT
            (PerFn ?PRICE
                (measure ?TIME ?U)))
        (instance ?U UnitOfDuration)
        (immediateInstance ?ITEM ?OBJ)
        (instance ?R Renting)
        (patient ?R ?ITEM)
        (possesses ?OBJ ?AGENT)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (and
                (during ?TIMEINT ?X)
                (instance ?X TimeInterval)
                (duration ?X
                    (MeasureFn ?DURATION ?U))
                (lessThanOrEqualTo ?DURATION ?TIME))
            (exists (?P)
                (and
                    (instance ?P Payment)
                    (destination ?P ?AGENT)
                    (agent ?P ?CUSTOMER)
                    (transactionAmount ?P ?PRICE))))))
Catalog.kif 458-483
(=>
    (and
        (responseTime ?Request ?Time)
        (computerResponseTo ?Response ?Request))
    (duration
        (WhenFn ?Response) ?Time))
QoSontology.kif 1764-1768
(=>
    (and
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))
Dining.kif 997-1012
(=>
    (attribute ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 2901-2905
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (forall (?TIME1 ?TIME2)
        (=>
            (and
                (instance ?TIME1 ?INTERVALTYPE)
                (instance ?TIME2 ?CLASS))
            (exists (?DURATION)
                (and
                    (duration ?TIME1 ?DURATION)
                    (duration ?TIME2 ?DURATION))))))
Merge.kif 9010-9020
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (duration ?FY
        (MeasureFn 1 YearDuration)))
Economy.kif 3745-3747
(=>
    (equal ?LIST
        (TimeIntervalListFn ?TIME ?DUR))
    (and
        (equal
            (BeginFn ?TIME)
            (BeginFn
                (FirstFn ?LIST)))
        (inList ?INT ?LIST)
        (duration ?INT ?DUR)))
Weather.kif 1965-1973
(=>
    (equal ?SPEEDLIST
        (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
    (duration ?TIME
        (MeasureFn 2 MinuteDuration)))
Weather.kif 2012-2016
(=>
    (exists (?Time1 ?Time2)
        (and
            (dependencyDelay ?Program1 ?Delay)
            (dependencyType ?Program1 ShutdownBlock)
            (hasDependency ?Program1 ?Program2)
            (instance ?Process1 ComputerProcess)
            (programRunning ?Process1 ?Program1)
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Program2)
            (equal
                (WhenFn ?Process2) ?Time2)
            (finishes ?Time ?Time1)
            (equal
                (WhenFn ?Process2) ?Time2)
            (equal
                (BeginFn ?Time)
                (EndFn ?Time2))))
    (duration ?Time ?Delay))
QoSontology.kif 1275-1289
(=>
    (exists (?Time1 ?Time2)
        (and
            (dependencyDelay ?Program1 ?Delay)
            (dependencyType ?Program1 StartupBlock)
            (hasDependency ?Program1 ?Program2)
            (instance ?Process1 ComputerProcess)
            (programRunning ?Process1 ?Program1)
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Program2)
            (equal
                (WhenFn ?Process2) ?Time2)
            (starts ?Time2 ?Time)
            (equal
                (WhenFn ?Process1) ?Time1)
            (equal
                (EndFn ?Time)
                (BeginFn ?Time1))))
    (duration ?Time ?Delay))
QoSontology.kif 1259-1273
(=>
    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
        (=>
            (duration ?TIME2 ?TIME1)
            (exists (?POSITION)
                (and
                    (temporalPart ?POSITION ?TIME2)
                    (holdsDuring ?POSITION
                        (exists (?INST)
                            (instance ?INST ?PROC))))))))
Merge.kif 7689-7699
(=>
    (inflationRateInCountry ?N ?R)
    (exists (?I)
        (and
            (instance ?I Inflation)
            (duration
                (WhenFn ?I) YearDuration)
            (experiencer ?I ?N)
            (inflationRate ?I ?R))))
FinancialOntology.kif 1642-1649
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 1 DecadeDuration)))
Merge.kif 8413-8415
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 10 YearDuration)))
Merge.kif 8417-8419
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))
Merge.kif 8863-8865
(=>
    (instance ?FLOOD FlashFlooding)
    (exists (?WATER ?HOUR)
        (and
            (instance ?WATER WaterMotion)
            (causes ?WATER ?FLOOD)
            (meetsTemporally
                (WhenFn ?WATER)
                (WhenFn ?FLOOD))
            (duration
                (WhenFn ?WATER)
                (MeasureFn ?HOUR HourDuration))
            (lessThan ?HOUR 6))))
Weather.kif 1629-1641

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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