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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfDuration
UnitOfDuration

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


s__documentation(s__UnitOfDuration,s__ChineseLanguage,'"这个 Class 所有的实例都是可以用 MeasureFn 来组成 TimeDuration 实例的 UnitOfMeasure。注: TimeDurationTimeMeasure 的一个 subclass。"')

chinese_format.kif 2431-2433
s__documentation(s__UnitOfDuration,s__EnglishLanguage,'"Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of TimeDuration. Note that TimeDuration is a subclass of TimeMeasure."')

Merge.kif 6113-6116
s__subclass(s__UnitOfDuration,s__NonCompositeUnitOfMeasure)

s__instance(s__UnitOfDuration,s__Class)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

Merge.kif 6111-6111 UnitOfDuration is a subclass of NonCompositeUnitOfMeasure

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


s__instance(s__UnitOfDuration,s__Class)

s__instance(s__CenturyDuration,s__UnitOfDuration)

Mid-level-ontology.kif 18094-18094 CenturyDuration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__DayDuration,s__UnitOfDuration)

Merge.kif 6873-6873 Day duration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__DecadeDuration,s__UnitOfDuration)

Merge.kif 8398-8398 DecadeDuration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__HourDuration,s__UnitOfDuration)

Merge.kif 6881-6881 Hour duration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__MillenniumDuration,s__UnitOfDuration)

Mid-level-ontology.kif 12872-12872 MillenniumDuration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__MinuteDuration,s__UnitOfDuration)

Merge.kif 6889-6889 Minute duration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__MonthDuration,s__UnitOfDuration)

Merge.kif 6906-6906 Month duration is an instance of UnitOfDuration
s__instance(s__UnitOfDuration,s__Class)

s__instance(s__SecondDuration,s__UnitOfDuration)

Merge.kif 6498-6498 Second duration is an instance of UnitOfDuration
s__instance(s__WeekDuration,s__UnitOfDuration)

s__instance(s__UnitOfDuration,s__Class)

Merge.kif 6897-6897 Week duration is an instance of UnitOfDuration
s__instance(s__YearDuration,s__UnitOfDuration)

s__instance(s__UnitOfDuration,s__Class)

Merge.kif 6920-6920 Year duration is an instance of UnitOfDuration

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


( ! [V__QUANT,V__NUMBER,V__UNIT] :
   (((s__instance(V__QUANT,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       ((((s__MeasureFn(V__NUMBER,V__UNIT)
             = V__QUANT)
           &
           s__instance(V__UNIT,s__UnitOfDuration))
         =>
         (s__instance(V__QUANT,s__TimeDuration)))))
   )
)

Merge.kif 6172-6176
( ! [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 2012-2025
( ! [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 2100-2109
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1726-1744

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


( ! [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


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