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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemporalRelation
TemporalRelation(temporal relation)approach, approaching, chronological_sequence, chronological_succession, chronology, coming, here, hither, lead, rotation, row, run, sequence, spark_advance, succession, successiveness, temporal_arrangement, temporal_order, temporal_property, temporal_relation, temporally

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


s__documentation(s__TemporalRelation,s__ChineseLanguage,'"这是时间 RelationClass,这个 Class 包括间隔拓扑的(时间)概念、(时间)模式和(时间)延伸。"')

chinese_format.kif 1918-1919
s__documentation(s__TemporalRelation,s__EnglishLanguage,'"The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension."')

Merge.kif 2607-2609
s__instance(s__TemporalRelation,s__Class)

s__instance(s__InheritableRelation,s__Class)

s__subclass(s__TemporalRelation,s__InheritableRelation)

Merge.kif 2605-2605 Temporal relation is a subclass of inheritable relation
s__subclass(s__TemporalRelation,s__Relation)

s__instance(s__TemporalRelation,s__Class)

s__instance(s__Relation,s__Class)

Merge.kif 2604-2604 Temporal relation is a subclass of relation

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


s__instance(s__TemporalRelation,s__Class)

s__instance(s__AfternoonFn__m,s__TemporalRelation)

Merge.kif 8479-8479 AfternoonFn is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__BeginFn__m,s__TemporalRelation)

Merge.kif 7753-7753 Begin is an instance of temporal relation
s__instance(s__DayFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8236-8236 Day is an instance of temporal relation
s__instance(s__EndFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 7781-7781 End is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__EveningFn__m,s__TemporalRelation)

Merge.kif 8576-8576 EveningFn is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__FutureFn__m,s__TemporalRelation)

Merge.kif 8158-8158 Future is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__HourFn__m,s__TemporalRelation)

Merge.kif 8261-8261 Hour is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__ImmediateFutureFn__m,s__TemporalRelation)

Merge.kif 8175-8175 Immediate future is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__ImmediatePastFn__m,s__TemporalRelation)

Merge.kif 8144-8144 Immediate past is an instance of temporal relation
s__instance(s__MinuteFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8287-8287 Minute is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__MonthFn__m,s__TemporalRelation)

Merge.kif 8219-8219 Month is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__MorningFn__m,s__TemporalRelation)

Merge.kif 8466-8466 MorningFn is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__PastFn__m,s__TemporalRelation)

Merge.kif 8126-8126 Past is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__QuarterFn__m,s__TemporalRelation)

Merge.kif 8607-8607 QuarterFn is an instance of temporal relation
s__instance(s__RecurrentTimeIntervalFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8091-8091 Recurrent time interval is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__RelativeTimeFn__m,s__TemporalRelation)

Merge.kif 16537-16537 Relative time is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__SecondFn__m,s__TemporalRelation)

Merge.kif 8314-8314 Second is an instance of temporal relation
s__instance(s__TemporalCompositionFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 9007-9007 Temporal composition is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__TimeIntervalFn__m,s__TemporalRelation)

Merge.kif 8059-8059 Time interval is an instance of temporal relation
s__instance(s__WeekFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8589-8589 WeekFn is an instance of temporal relation
s__instance(s__WhenFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8115-8115 When is an instance of temporal relation
s__instance(s__YearFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8203-8203 Year is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__anniversary__m,s__TemporalRelation)

Mid-level-ontology.kif 23446-23446 anniversary is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__before__m,s__TemporalRelation)

Merge.kif 7850-7850 before is an instance of temporal relation
s__instance(s__TemporalRelation,s__Class)

s__instance(s__beforeOrEqual__m,s__TemporalRelation)

Merge.kif 7891-7891 before or equal is an instance of temporal relation

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