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
-------------------------


s__documentation(s__duration__m,s__ChineseLanguage,'"(duration ?POS ?TIME)的意思是 TimePosition ?POS 的长短是 ?TIME。注;这个 Predicate 可以和 Function WhenFn 一起使用来指定任何 Physical 的 持续时间。"')

chinese_format.kif 2688-2690
s__documentation(s__duration__m,s__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 7465-7468
s__domain(s__duration__m,n__1,s__TimeInterval)

Merge.kif 7462-7462 The number 1 argument of duration is an instance of time interval
s__domain(s__duration__m,n__2,s__TimeDuration)

Merge.kif 7463-7463 The number 2 argument of duration is an instance of time duration
s__instance(s__duration__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 7460-7460 duration is an instance of asymmetric relation
s__instance(s__duration__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 7459-7459 duration is an instance of binary predicate
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__duration__m,s__TotalValuedRelation)

Merge.kif 7461-7461 duration is an instance of total valued relation

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


s__format(s__ChineseLanguage,s__duration__m,'"%1 的 duration %n 是 %2"')

chinese_format.kif 413-413
s__format(s__EnglishLanguage,s__duration__m,'"duration of %1 is %n %2"')

english_format.kif 422-422
s__termFormat(s__ChineseLanguage,s__duration__m,'"持续时间"')

domainEnglishFormat.kif 20611-20611
s__termFormat(s__ChineseLanguage,s__duration__m,'"时段"')

chinese_format.kif 414-414
s__termFormat(s__ChineseTraditionalLanguage,s__duration__m,'"持續時間"')

domainEnglishFormat.kif 20610-20610
s__termFormat(s__EnglishLanguage,s__duration__m,'"duration"')

domainEnglishFormat.kif 20609-20609

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


( ! [V__DrawingTime,V__Time,V__Duration,V__Processing,V__Drawing,V__ProcessingTime,V__Check] :
   ((s__instance(V__DrawingTime,s__TimeInterval) &
       s__instance(V__Time,s__TimeInterval) &
       s__instance(V__Duration,s__TimeDuration) &
       s__instance(V__ProcessingTime,s__TimeInterval))
     =>
     (s__instance(V__Drawing,s__DrawingACheck) &
       s__patient(V__Drawing,V__Check)
     &
     s__instance(V__Processing,s__ProcessingACheck) &
     s__patient(V__Processing,V__Check)
   &
   (s__WhenFn(V__Drawing)
   = V__DrawingTime)
&
(s__WhenFn(V__Processing)
= V__ProcessingTime)
&
s__meetsTemporally(V__DrawingTime,V__Time)
&
s__meetsTemporally(V__Time,V__ProcessingTime)
&
s__duration(V__Time,V__Duration))
=>
s__lessThan(V__Duration,s__MeasureFn(n__6,s__MonthDuration))
)
)

FinancialOntology.kif 155-166
( ! [V__Period,V__Loan,V__Duration] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Duration,s__RealNumber))
     =>
     (s__instance(V__Loan,s__BankTermLoan) &
       s__agreementPeriod(V__Loan,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(V__Duration,s__YearDuration)))
=>
s__greaterThanOrEqualTo(V__Duration,n__1)
)
)

FinancialOntology.kif 1438-1443
( ! [V__MONTH,V__NUMBER] :
   (s__instance(V__NUMBER,s__Integer) =>
     (s__instance(V__MONTH,s__Month) &
       s__duration(V__MONTH,s__MeasureFn(V__NUMBER,s__DayDuration)))
   =>
   (s__CardinalityFn(s__TemporalCompositionFn(V__MONTH,s__Day))
   = V__NUMBER)
)
)

Merge.kif 8872-8876
( ! [V__P,V__N] :
   (s__instance(V__N,s__RealNumber) =>
     (s__instance(V__P,s__Passover) &
       s__duration(V__P,s__MeasureFn(V__N,s__DayDuration)))
   =>
   ((V__N = n__7)
     |
     (V__N = n__8))
   )
)

Media.kif 611-617
( ! [V__A,V__SF,V__FAST,V__I,V__SLOW,V__SS] :
   ((s__instance(V__A,s__Agent) &
       s__instance(V__FAST,s__TimeDuration) &
       s__instance(V__I,s__Proposition) &
       s__instance(V__SLOW,s__TimeDuration))
     =>
     (s__instance(V__SF,s__SpeakingAtAFasterRate) &
       s__instance(V__SS,s__SpeakingAtASlowerRate) &
       s__agent(V__SF,V__A)
     &
     s__agent(V__SS,V__A)
   &
   s__containsInformation(V__SF,V__I)
&
s__containsInformation(V__SS,V__I)
&
s__duration(s__WhenFn(V__SF)
,V__FAST)
&
s__duration(s__WhenFn(V__SS)
,V__SLOW))
=>
s__greaterThan(V__FAST,V__SLOW)
)
)

emotion.kif 1920-1930
( ! [V__SL,V__D1,V__D2,V__SS] :
   ((s__instance(V__D1,s__TimeDuration) &
       s__instance(V__D2,s__TimeDuration))
     =>
     (s__instance(V__SS,s__SpeakingAShortUtterance) &
       s__instance(V__SL,s__SpeakingALongUtterance) &
       s__duration(s__WhenFn(V__SS)
    ,V__D1)
   &
   s__duration(s__WhenFn(V__SL)
,V__D2))
=>
s__greaterThan(V__D2,V__D1)
)
)

emotion.kif 2005-2011
( ! [V__INTERVAL,V__T1,V__T2,V__PERIOD] :
   ((s__instance(V__INTERVAL,s__TimeInterval) &
       s__instance(V__PERIOD,s__TimeDuration))
     =>
     (s__instance(V__T1,s__TimePoint) &
       s__instance(V__T2,s__TimePoint) &
       (V__INTERVAL = s__TimeIntervalFn(V__T1,V__T2))
     &
     s__duration(V__INTERVAL,V__PERIOD))
=>
(V__INTERVAL = s__TimePeriodFn(V__T1,V__PERIOD))
)
)

Mid-level-ontology.kif 11649-11655
( ! [V__Period,V__Duration,V__Statement] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Duration,s__TimeDuration) &
       s__instance(V__Statement,s__BankStatement))
     =>
     (s__statementPeriod(V__Statement,V__Period)
     &
     s__duration(V__Period,V__Duration))
=>
(V__Duration = s__MonthDuration) )
)

FinancialOntology.kif 3907-3911

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


( ! [V__MONTH,V__Y,V__YEAR] :
   ((s__instance(V__MONTH,s__TimeInterval) &
       s__subclass(V__YEAR,s__Year) &
       s__instance(V__YEAR,s__SetOrClass))
     =>
     (s__instance(V__MONTH,s__MonthFn(s__February,V__YEAR))
   &
   s__instance(V__Y,V__YEAR)
&
s__instance(V__Y,s__LeapYear))
=>
s__duration(V__MONTH,s__MeasureFn(n__29,s__DayDuration))
)
)

Merge.kif 8482-8487
( ! [V__MONTH,V__Y,V__YEAR] :
   ((s__instance(V__MONTH,s__TimeInterval) &
       s__subclass(V__YEAR,s__Year) &
       s__instance(V__YEAR,s__SetOrClass))
     =>
     (s__instance(V__MONTH,s__MonthFn(s__February,V__YEAR))
   &
   s__instance(V__Y,V__YEAR)
&
~(s__instance(V__Y,s__LeapYear)))
=>
s__duration(V__MONTH,s__MeasureFn(n__28,s__DayDuration))
)
)

Merge.kif 8475-8480
No TPTP formula. May not be expressible in strict first order. Merge.kif 7133-7137
( ! [V__A,V__E,V__I,V__Y] :
   (s__instance(V__I,s__TimeInterval) =>
     (s__instance(V__Y,s__Year) &
       s__instance(V__E,s__EasterSunday) &
       s__instance(V__A,s__AscensionThursday) &
       s__during(V__E,V__Y)
     &
     s__during(V__A,V__Y)
   &
   s__starts(V__E,V__I)
&
s__finishes(V__A,V__I))
=>
s__duration(V__I,s__MeasureFn(n__40,s__DayDuration))
)
)

Media.kif 538-547
( ! [V__P,V__E,V__I,V__Y] :
   (s__instance(V__I,s__TimeInterval) =>
     (s__instance(V__Y,s__Year) &
       s__instance(V__E,s__EasterSunday) &
       s__instance(V__P,s__PalmSunday) &
       s__during(V__E,V__Y)
     &
     s__during(V__P,V__Y)
   &
   s__starts(V__P,V__I)
&
s__finishes(V__E,V__I))
=>
s__duration(V__I,s__MeasureFn(n__8,s__DayDuration))
)
)

Media.kif 473-482
( ! [V__P,V__E,V__I,V__Y] :
   (s__instance(V__I,s__TimeInterval) =>
     (s__instance(V__Y,s__Year) &
       s__instance(V__E,s__EasterSunday) &
       s__instance(V__P,s__Pentecost) &
       s__during(V__E,V__Y)
     &
     s__during(V__P,V__Y)
   &
   s__starts(V__E,V__I)
&
s__finishes(V__P,V__I))
=>
s__duration(V__I,s__MeasureFn(n__50,s__DayDuration))
)
)

Media.kif 559-568
( ! [V__R,V__T,V__L] :
   ((s__instance(V__T,s__TimeDuration) &
       s__instance(V__L,s__Process))
     =>
     (s__recordingLength(V__R,V__T)
     &
     s__instance(V__R,s__AudioRecording))
   =>
   (s__instance(V__L,s__Listening) &
     s__patient(V__L,V__R))
=>
s__duration(s__WhenFn(V__L)
,V__T)
)
)

Music.kif 116-124
( ! [V__AGENT,V__PS,V__DURATION,V__CUSTOMER,V__TIME,V__R,V__OBJ,V__PRICE,V__TIMEINT,V__ITEM,V__QUANT] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__PS,s__PricingScheme) &
       s__instance(V__DURATION,s__TimeDuration) &
       s__instance(V__CUSTOMER,s__Agent) &
       s__instance(V__TIME,s__PhysicalQuantity) &
       s__instance(V__OBJ,s__Agent) &
       s__subclass(V__OBJ,s__Physical) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__instance(V__QUANT,s__FunctionQuantity))
     =>
     (s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
     &
     (V__QUANT = s__PerFn(V__PRICE,V__TIME))
   &
   s__immediateInstance(V__ITEM,V__OBJ)
&
s__instance(V__R,s__Renting) &
s__patient(V__R,V__ITEM)
&
s__possesses(V__OBJ,V__AGENT)
&
s__agent(V__R,V__CUSTOMER)
&
s__time(V__R,V__TIMEINT))
=>
( ! [V__X] :
((s__during(V__TIMEINT,V__X)
&
s__instance(V__X,s__TimeInterval) &
s__duration(V__X,V__DURATION)
&
s__lessThanOrEqualTo(V__DURATION,V__TIME))
=>
( ? [V__P] :
((s__instance(V__P,s__Payment) &
s__destination(V__P,V__AGENT)
&
s__agent(V__P,V__CUSTOMER)
&
s__transactionAmount(V__P,V__PRICE))))))
)
)

Catalog.kif 450-472
( ! [V__Request,V__Time,V__Response] :
   ((s__instance(V__Request,s__UserRequest) &
       s__instance(V__Time,s__TimeDuration) &
       s__instance(V__Response,s__ComputerResponse))
     =>
     (s__responseTime(V__Request,V__Time)
     &
     s__computerResponseTo(V__Response,V__Request))
=>
s__duration(s__WhenFn(V__Response)
,V__Time)
)
)

QoSontology.kif 1764-1768
( ! [V__AGENT2,V__PROCESS2,V__PROCESS1,V__TIME2,V__TIME1,V__AGENT1,V__PERSON,V__CLASS] :
   ((s__instance(V__AGENT2,s__Agent) &
       s__instance(V__PROCESS2,s__Process) &
       s__instance(V__PROCESS1,s__Process) &
       s__instance(V__TIME2,s__TimeDuration) &
       s__instance(V__TIME1,s__TimeDuration) &
       s__instance(V__AGENT1,s__Agent) &
       s__instance(V__PERSON,s__Agent) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__subjectiveAttribute(V__AGENT1,s__Quick,V__PERSON)
     &
     s__subjectiveAttribute(V__AGENT2,s__Slow,V__PERSON)
   &
   s__instance(V__PROCESS1,V__CLASS)
&
s__instance(V__PROCESS2,V__CLASS)
&
s__subclass(V__CLASS,s__Process) &
s__agent(V__PROCESS1,V__AGENT1)
&
s__agent(V__PROCESS2,V__AGENT2))
=>
(s__duration(s__WhenFn(V__PROCESS1)
,V__TIME1)
&
s__duration(s__WhenFn(V__PROCESS2)
,V__TIME2)
&
s__greaterThan(V__TIME2,V__TIME1))
)
)

Dining.kif 997-1009
( ! [V__Order,V__Period] :
   ((s__instance(V__Order,s__Agreement) &
       s__instance(V__Order,s__Object) &
       s__instance(V__Period,s__TimeInterval))
     =>
     s__attribute(V__Order,s__DayOrder) =>
     (s__agreementPeriod(V__Order,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(n__1,s__DayDuration)))
)
)

FinancialOntology.kif 2861-2865
( ! [V__INTERVAL,V__INTERVAL_TYPE,V__CLASS] :
   ((s__instance(V__INTERVAL,s__TimeInterval) &
       s__subclass(V__INTERVAL_TYPE,s__TimeInterval) &
       s__instance(V__INTERVAL_TYPE,s__SetOrClass) &
       s__subclass(V__CLASS,s__TimeInterval) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__TemporalCompositionFn(V__INTERVAL,V__INTERVAL_TYPE)
     = V__CLASS)
   =>
   ( ! [V__TIME1, V__TIME2] :
     ((s__instance(V__TIME1,s__TimeInterval) &
         s__instance(V__TIME2,s__TimeInterval))
       =>
       (s__instance(V__TIME1,V__INTERVAL_TYPE)
       &
       s__instance(V__TIME2,V__CLASS))
   =>
   ( ? [V__DURATION] :
     ((s__instance(V__DURATION,s__TimeDuration) &
         (s__duration(V__TIME1,V__DURATION)
         &
         s__duration(V__TIME2,V__DURATION)))))))
)
)

Merge.kif 8792-8802
( ! [V__FY,V__PLACE,V__YEAR] :
   ((s__instance(V__FY,s__TimeInterval) &
       s__instance(V__PLACE,s__Agent) &
       s__subclass(V__YEAR,s__Year))
     =>
     (V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR))
   =>
   s__duration(V__FY,s__MeasureFn(n__1,s__YearDuration))
)
)

Economy.kif 3745-3747
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   ((s__instance(V__Time,s__TimeInterval) &
       s__instance(V__Program1,s__ComputerProgram) &
       s__instance(V__Delay,s__TimeDuration) &
       s__instance(V__Program2,s__ComputerProgram))
     =>
     ( ? [V__Time1, V__Time2] :
       ((s__instance(V__Time1,s__TimeInterval) &
           s__instance(V__Time2,s__TimeInterval) &
           (s__dependencyDelay(V__Program1,V__Delay)
           &
           s__dependencyType(V__Program1,s__ShutdownBlock) &
           s__hasDependency(V__Program1,V__Program2)
         &
         s__instance(V__Process1,s__ComputerProcess) &
         s__programRunning(V__Process1,V__Program1)
       &
       s__instance(V__Process2,s__ComputerProcess) &
       s__programRunning(V__Process2,V__Program2)
     &
     (s__WhenFn(V__Process2)
     = V__Time2)
   &
   s__finishes(V__Time,V__Time1)
&
(s__WhenFn(V__Process2)
= V__Time2)
&
(s__BeginFn(V__Time)
= s__EndFn(V__Time2))))))
=>
s__duration(V__Time,V__Delay)
)
)

QoSontology.kif 1275-1289
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   ((s__instance(V__Time,s__TimeInterval) &
       s__instance(V__Program1,s__ComputerProgram) &
       s__instance(V__Delay,s__TimeDuration) &
       s__instance(V__Program2,s__ComputerProgram))
     =>
     ( ? [V__Time1, V__Time2] :
       ((s__instance(V__Time1,s__TimeInterval) &
           s__instance(V__Time2,s__TimeInterval) &
           (s__dependencyDelay(V__Program1,V__Delay)
           &
           s__dependencyType(V__Program1,s__StartupBlock) &
           s__hasDependency(V__Program1,V__Program2)
         &
         s__instance(V__Process1,s__ComputerProcess) &
         s__programRunning(V__Process1,V__Program1)
       &
       s__instance(V__Process2,s__ComputerProcess) &
       s__programRunning(V__Process2,V__Program2)
     &
     (s__WhenFn(V__Process2)
     = V__Time2)
   &
   s__starts(V__Time2,V__Time)
&
(s__WhenFn(V__Process1)
= V__Time1)
&
(s__EndFn(V__Time)
= s__BeginFn(V__Time1))))))
=>
s__duration(V__Time,V__Delay)
)
)

QoSontology.kif 1259-1273
No TPTP formula. May not be expressible in strict first order. Merge.kif 7478-7486
( ! [V__R,V__N] :
   ((s__instance(V__R,s__RealNumber) &
       s__instance(V__N,s__Nation))
     =>
     s__inflationRateInCountry(V__N,V__R)
   =>
   ( ? [V__I] :
     ((s__instance(V__I,s__Inflation) &
         s__duration(s__WhenFn(V__I)
      ,s__YearDuration) &
       s__experiencer(V__I,V__N)
     &
     s__inflationRate(V__I,V__R))))
)
)

FinancialOntology.kif 1629-1636
( ! [V__D] :
   (s__instance(V__D,s__Decade) =>
     s__duration(V__D,s__MeasureFn(n__1,s__DecadeDuration))
   )
)

Merge.kif 8196-8198
( ! [V__D] :
   (s__instance(V__D,s__Decade) =>
     s__duration(V__D,s__MeasureFn(n__10,s__YearDuration))
   )
)

Merge.kif 8200-8202
( ! [V__DAY] :
   (s__instance(V__DAY,s__Day) =>
     s__duration(V__DAY,s__MeasureFn(n__1,s__DayDuration))
   )
)

Merge.kif 8645-8647
( ! [V__FY,V__PLACE] :
   ((s__instance(V__FY,s__TimeInterval) &
       s__instance(V__PLACE,s__Agent))
     =>
     s__instance(V__FY,s__FiscalYearFn(V__PLACE))
=>
s__duration(V__FY,s__MeasureFn(n__1,s__YearDuration))
)
)

Economy.kif 3719-3721
( ! [V__H] :
   (s__instance(V__H,s__Hanukkah) =>
     s__duration(V__H,s__MeasureFn(n__8,s__DayDuration))
   )
)

Media.kif 580-582
( ! [V__HOUR] :
   (s__instance(V__HOUR,s__Hour) =>
     s__duration(V__HOUR,s__MeasureFn(n__1,s__HourDuration))
   )
)

Merge.kif 8755-8757
( ! [V__Period,V__Loan] :
   (s__instance(V__Period,s__TimeInterval) =>
     s__instance(V__Loan,s__DayLoan) =>
     (s__agreementPeriod(V__Loan,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(n__1,s__DayDuration)))
)
)

FinancialOntology.kif 1521-1525
( ! [V__MINUTE] :
   (s__instance(V__MINUTE,s__Minute) =>
     s__duration(V__MINUTE,s__MeasureFn(n__1,s__MinuteDuration))
   )
)

Merge.kif 8765-8767

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners