Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass TemporalRelation Relation) Merge.kif 2772-2772 Temporal relation is a subclass of relation
(subclass TemporalRelation InheritableRelation) Merge.kif 2773-2773 Temporal relation is a subclass of inheritable relation
(documentation TemporalRelation EnglishLanguage "The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension.") Merge.kif 2775-2777 Temporal relation is a subclass of inheritable relation

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


(instance time TemporalRelation) Merge.kif 3967-3967 time is an instance of temporal relation
(instance temporalPart TemporalRelation) Merge.kif 8104-8104 temporal part is an instance of temporal relation
(instance BeginFn TemporalRelation) Merge.kif 8153-8153 Begin is an instance of temporal relation
(instance EndFn TemporalRelation) Merge.kif 8181-8181 End is an instance of temporal relation
(instance starts TemporalRelation) Merge.kif 8207-8207 starts is an instance of temporal relation
(instance finishes TemporalRelation) Merge.kif 8239-8239 finishes is an instance of temporal relation
(instance finishesDuring TemporalRelation) Merge.kif 8277-8277 finishes during is an instance of temporal relation
(instance startsDuring TemporalRelation) Merge.kif 8290-8290 starts during is an instance of temporal relation
(instance before TemporalRelation) Merge.kif 8298-8298 before is an instance of temporal relation
(instance beforeOrEqual TemporalRelation) Merge.kif 8339-8339 before or equal is an instance of temporal relation
(instance temporallyBetween TemporalRelation) Merge.kif 8359-8359 temporally between is an instance of temporal relation
(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 8384-8384 temporally between or equal is an instance of temporal relation
(instance overlapsTemporally TemporalRelation) Merge.kif 8426-8426 overlap temporally is an instance of temporal relation
(instance meetsTemporally TemporalRelation) Merge.kif 8524-8524 meets temporally is an instance of temporal relation
(instance earlier TemporalRelation) Merge.kif 8569-8569 earlier is an instance of temporal relation
(instance cooccur TemporalRelation) Merge.kif 8589-8589 cooccur is an instance of temporal relation
(instance TimeIntervalFn TemporalRelation) Merge.kif 8611-8611 Time interval is an instance of temporal relation
(instance RecurrentTimeIntervalFn TemporalRelation) Merge.kif 8643-8643 Recurrent time interval is an instance of temporal relation
(instance WhenFn TemporalRelation) Merge.kif 8667-8667 When is an instance of temporal relation
(instance PastFn TemporalRelation) Merge.kif 8678-8678 Past is an instance of temporal relation
(instance ImmediatePastFn TemporalRelation) Merge.kif 8696-8696 Immediate past is an instance of temporal relation
(instance FutureFn TemporalRelation) Merge.kif 8710-8710 Future is an instance of temporal relation
(instance ImmediateFutureFn TemporalRelation) Merge.kif 8727-8727 Immediate future is an instance of temporal relation
(instance YearFn TemporalRelation) Merge.kif 8754-8754 Year is an instance of temporal relation
(instance MonthFn TemporalRelation) Merge.kif 8770-8770 Month 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners