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 7643-7646
s__domain(s__duration__m,n__1,s__TimeInterval)

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

Merge.kif 7641-7641 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 7638-7638 duration is an instance of asymmetric relation
s__instance(s__duration__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

s__instance(s__duration__m,s__TotalValuedRelation)

Merge.kif 7639-7639 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 20679-20679
s__termFormat(s__ChineseLanguage,s__duration__m,'"时段"')

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

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

domainEnglishFormat.kif 20677-20677

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5562-5569
( ! [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 1451-1456
( ! [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 9057-9061
( ! [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__U,V__I,V__SLOW,V__SS] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__FAST,s__RealNumber) &
         s__instance(V__I,s__Proposition) &
         s__instance(V__SLOW,s__RealNumber))
       =>
       (((s__instance(V__SF,s__SpeakingAtAFasterRate) &
             s__instance(V__SS,s__SpeakingAtASlowerRate) &
             s__instance(V__U,s__UnitOfDuration) &
             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)
  ,s__MeasureFn(V__FAST,V__U))
&
s__duration(s__WhenFn(V__SS)
,s__MeasureFn(V__SLOW,V__U)))
=>
(s__greaterThan(V__FAST,V__SLOW)))))
)
)

emotion.kif 1953-1966
( ! [V__U,V__SL,V__D1,V__D2,V__SS] :
   (((s__instance(V__D1,s__RealNumber) &
         s__instance(V__D2,s__RealNumber))
       =>
       (((s__instance(V__SS,s__SpeakingAShortUtterance) &
             s__instance(V__SL,s__SpeakingALongUtterance) &
             s__instance(V__U,s__UnitOfDuration) &
             s__duration(s__WhenFn(V__SS)
          ,s__MeasureFn(V__D1,V__U))
       &
       s__duration(s__WhenFn(V__SL)
    ,s__MeasureFn(V__D2,V__U)))
=>
(s__greaterThan(V__D2,V__D1)))))
)
)

emotion.kif 2041-2050
( ! [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 12890-12896
( ! [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 3976-3980

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15239-15251
( ! [V__MONTH,V__Y,V__YEAR] :
   (((s__instance(V__MONTH,s__TimeInterval) &
         s__instance(V__YEAR,s__Class) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((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 8667-8672
( ! [V__MONTH,V__Y,V__YEAR] :
   (((s__instance(V__MONTH,s__TimeInterval) &
         s__instance(V__YEAR,s__Class) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((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 8660-8665
No TPTP formula. May not be expressible in strict first order. Merge.kif 7277-7281
( ! [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__LIST,V__M,V__DUR] :
   (((s__instance(V__LIST,s__MeasuringList) &
         s__instance(V__M,s__Physical) &
         s__instance(V__DUR,s__TimeDuration))
       =>
       (((s__measuringListInterval(V__LIST,V__DUR)
           &
           s__inList(V__M,V__LIST))
       =>
       (s__duration(s__WhenFn(V__M)
      ,V__DUR)))))
)
)

Weather.kif 1859-1863
( ! [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
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
( ! [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__U,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__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__TIME1,s__RealNumber) &
         s__instance(V__AGENT1,s__Agent) &
         s__instance(V__PERSON,s__Agent) &
         s__instance(V__CLASS,s__Class))
       =>
       (((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__instance(V__U,s__UnitOfDuration) &
   s__duration(s__WhenFn(V__PROCESS1)
,s__MeasureFn(V__TIME1,V__U))
&
s__duration(s__WhenFn(V__PROCESS2)
,s__MeasureFn(V__TIME2,V__U))
&
s__greaterThan(V__TIME2,V__TIME1))))))
)
)

Dining.kif 997-1012
( ! [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 2901-2905
( ! [V__INTERVALTYPE,V__INTERVAL,V__CLASS] :
   (((s__subclass(V__INTERVALTYPE,s__TimeInterval) &
         s__instance(V__INTERVALTYPE,s__Class) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__subclass(V__CLASS,s__TimeInterval) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__TemporalCompositionFn(V__INTERVAL,V__INTERVALTYPE)
           = V__CLASS)
         =>
         (( ! [V__TIME1, V__TIME2] :
             (((s__instance(V__TIME1,s__TimeInterval) &
                   s__instance(V__TIME2,s__TimeInterval))
                 =>
                 (((s__instance(V__TIME1,V__INTERVALTYPE)
                     &
                     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 8977-8987
( ! [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__LIST,V__INT,V__DUR] :
   (((s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__LIST,s__ConsecutiveTimeIntervalList) &
         s__instance(V__INT,s__TimeInterval) &
         s__instance(V__DUR,s__TimeDuration))
       =>
       (((V__LIST = s__TimeIntervalListFn(V__TIME,V__DUR))
         =>
         (((s__BeginFn(V__TIME)
             = s__BeginFn(s__FirstFn(V__LIST)))
       &
       s__inList(V__INT,V__LIST)
     &
     s__duration(V__INT,V__DUR))))))
)
)

Weather.kif 1965-1973
( ! [V__TIME,V__PLACE,V__SPEEDLIST] :
   (((s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__PLACE,s__GeographicArea) &
         s__instance(V__SPEEDLIST,s__List))
       =>
       (((V__SPEEDLIST = s__Mean3SecondWindSpeedListFn(V__PLACE,V__TIME))
         =>
         (s__duration(V__TIME,s__MeasureFn(n__2,s__MinuteDuration))))))
)
)

Weather.kif 2012-2016
( ! [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 7656-7666
( ! [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 1642-1649
( ! [V__D] :
   ((s__instance(V__D,s__Decade) =>
       (s__duration(V__D,s__MeasureFn(n__1,s__DecadeDuration))))
   )
)

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

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

Merge.kif 8830-8832
( ! [V__FLOOD] :
   ((s__instance(V__FLOOD,s__FlashFlooding) =>
       (( ? [V__WATER, V__HOUR] :
           ((s__instance(V__HOUR,s__RealNumber) &
               (s__instance(V__WATER,s__WaterMotion) &
                 s__causes(V__WATER,V__FLOOD)
               &
               s__meetsTemporally(s__WhenFn(V__WATER)
            ,s__WhenFn(V__FLOOD))
         &
         s__duration(s__WhenFn(V__WATER)
      ,s__MeasureFn(V__HOUR,s__HourDuration))
     &
     s__lessThan(V__HOUR,n__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