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 7891-7894
(documentation duration JapaneseLanguage "(duration ?POS ?TIME) とは、TimePosition ?POS の持続時間が ?TIME という意味である。　注：この Predicate は、Function WhenFn と組み合わせ て使用し、Predicate の任意のインスタンスの継続時間を指定できる。") japanese_format.kif 1411-1413
(domain duration 1 TimeInterval) Merge.kif 7888-7888
(domain duration 2 TimeDuration) Merge.kif 7889-7889
(instance duration BinaryPredicate) Merge.kif 7886-7886
(instance duration TotalValuedRelation) Merge.kif 7887-7887

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 419-419
(format FrenchLanguage duration "la dur�� de %1 est %n %2") french_format.kif 241-241
(format ItalianLanguage duration "durata di %1 � %n %2") relations-it.txt 85-85
(format JapaneseLanguage duration "%1 の duration は %2 では %n") japanese_format.kif 2035-2035
(format PortugueseLanguage duration "a duracao de %1 e' %n %2") portuguese_format.kif 193-193
(format cb duration " kadugay %1 %n ay %2") relations-cb.txt 119-119
(format cz duration "duration of %1 %p{je} %n{nen�} %2") relations-cz.txt 246-246
(format de duration "dauer von %1 ist %2 %n{nicht}") relations-de.txt 536-536
(format hi duration "%1 kii avadhi %2 %n hai") relations-hindi.txt 125-125
(format ro duration "duration%t{durata} lui %1 %n{nu} este %2") relations-ro.kif 262-262
(format sv duration "varaktigheten av %1 är %n{inte} %2") relations-sv.txt 261-261
(format tg duration "ang tagal ng %1 %n ay %2") relations-tg.txt 185-185
(termFormat ChineseLanguage duration "持续时间") domainEnglishFormat.kif 20685-20685
(termFormat ChineseLanguage duration "时段") chinese_format.kif 414-414
(termFormat ChineseTraditionalLanguage duration "持續時間") domainEnglishFormat.kif 20684-20684
(termFormat EnglishLanguage duration "duration") domainEnglishFormat.kif 20683-20683
(termFormat tg duration "tagal") relations-tg.txt 186-186

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?H ?C))
        (instance ?H ChronicDisease)
        (duration ?T ?D))
    (greaterThan ?D
        (MeasureFn 3 MonthDuration)))		 Mid-level-ontology.kif 5886-5893
(=>
    (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
            (MeasureFn ?Duration MonthDuration)))
    (lessThan ?Duration 6))		 FinancialOntology.kif 155-166
(=>
    (and
        (instance ?Loan BankTermLoan)
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn ?Duration YearDuration)))
    (greaterThanOrEqualTo ?Duration 1))		 FinancialOntology.kif 1497-1502
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9447-9451
(=>
    (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 2016-2029
(=>
    (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 2104-2113
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))		 Mid-level-ontology.kif 13910-13916
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (duration ?Period ?Duration))
    (equal ?Duration MonthDuration))		 FinancialOntology.kif 4077-4081

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


(=>
    (and
        (inList ?INT ?LIST)
        (equal ?LIST
            (TimeIntervalListFn ?TIME ?DUR)))
    (duration ?INT ?DUR))		 Weather.kif 1975-1980
(=>
    (and
        (instance ?I Insomnia)
        (experiencer ?I ?H))
    (exists (?S ?D ?D2)
        (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 16317-16329
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))		 Merge.kif 9057-9062
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))		 Merge.kif 9050-9055
(=>
    (and
        (instance ?TIME TimePoint)
        (holdsDuring ?TIME
            (age ?OBJ ?DURATION)))
    (duration
        (TimeIntervalFn
            (BeginFn
                (WhenFn ?OBJ)) ?TIME) ?DURATION))		 Merge.kif 7510-7514
(=>
    (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 1860-1864
(=>
    (and
        (recordingLength ?R ?T)
        (instance ?R AudioRecording)
        (instance ?L Listening)
        (patient ?L ?R))
    (duration
        (WhenFn ?L) ?T))		 Music.kif 118-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)
        (agent ?R ?CUSTOMER)
        (time ?R ?TIMEINT))
    (forall (?X)
        (=>
            (exists (?DURATION)
                (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 467-492
(=>
    (and
        (responseTime ?Request ?Time)
        (computerResponseTo ?Response ?Request))
    (duration
        (WhenFn ?Response) ?Time))		 QoSontology.kif 1759-1763
(=>
    (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 1044-1059
(=>
    (attribute ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))		 FinancialOntology.kif 2953-2957
(=>
    (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 9367-9377
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (duration ?FY
        (MeasureFn 1 YearDuration)))		 Economy.kif 3760-3762
(=>
    (equal ?SPEEDLIST
        (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
    (duration ?TIME
        (MeasureFn 2 MinuteDuration)))		 Weather.kif 2019-2023
(=>
    (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 1270-1284
(=>
    (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 1254-1268
(=>
    (frequency ?PROC ?TIME1)
    (forall (?TIME2)
        (=>
            (duration ?TIME2 ?TIME1)
            (exists (?POSITION)
                (and
                    (temporalPart ?POSITION ?TIME2)
                    (holdsDuring ?POSITION
                        (exists (?INST)
                            (instance ?INST ?PROC))))))))		 Merge.kif 7903-7913
(=>
    (inflationRateInCountry ?N ?R)
    (exists (?I)
        (and
            (instance ?I Inflation)
            (duration
                (WhenFn ?I) YearDuration)
            (experiencer ?I ?N)
            (inflationRate ?I ?R))))		 FinancialOntology.kif 1687-1694
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 1 DecadeDuration)))		 Merge.kif 8754-8756
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 10 YearDuration)))		 Merge.kif 8758-8760
(=>
    (instance ?DAY Day)
    (duration ?DAY
        (MeasureFn 1 DayDuration)))		 Merge.kif 9220-9222
(=>
    (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.0))))		 Weather.kif 1630-1642

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