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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemporalRelation

Sigma KEE - TemporalRelation
TemporalRelation(时间关系)

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


(documentation TemporalRelation ChineseLanguage "这是时间 RelationClass,这个 Class 包括间隔拓扑的(时间)概念、(时间)模式和(时间)延伸。") Merge.kif 2848-2849
(documentation TemporalRelation EnglishLanguage "The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension.") Merge.kif 2845-2847
(subclass TemporalRelation InheritableRelation) Merge.kif 2844-2844 时间关系InheritableRelationsubclass
(subclass TemporalRelation Relation) Merge.kif 2843-2843 时间关系关系subclass

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


(instance AfternoonFn TemporalRelation) Merge.kif 8926-8926 AfternoonFn时间关系instance
(instance BeginFn TemporalRelation) Merge.kif 8190-8190 开始函数时间关系instance
(instance DayFn TemporalRelation) Merge.kif 8705-8705 日函数时间关系instance
(instance EndFn TemporalRelation) Merge.kif 8214-8214 结束函数时间关系instance
(instance EveningFn TemporalRelation) Merge.kif 8968-8968 EveningFn时间关系instance
(instance FutureFn TemporalRelation) Merge.kif 8615-8615 未来函数时间关系instance
(instance HourFn TemporalRelation) Merge.kif 8733-8733 时函数时间关系instance
(instance ImmediateFutureFn TemporalRelation) Merge.kif 8633-8633 紧接未来函数时间关系instance
(instance ImmediatePastFn TemporalRelation) Merge.kif 8600-8600 紧接过去函数时间关系instance
(instance MinuteFn TemporalRelation) Merge.kif 8763-8763 分函数时间关系instance
(instance MonthFn TemporalRelation) Merge.kif 8683-8683 月函数时间关系instance
(instance MorningFn TemporalRelation) Merge.kif 8914-8914 MorningFn时间关系instance
(instance PastFn TemporalRelation) Merge.kif 8581-8581 过去函数时间关系instance
(instance QuarterFn TemporalRelation) Merge.kif 8997-8997 QuarterFn时间关系instance
(instance RecurrentTimeIntervalFn TemporalRelation) Merge.kif 8541-8541 重复发生时间函数时间关系instance
(instance RelativeTimeFn TemporalRelation) Merge.kif 17568-17568 相对时间函数时间关系instance
(instance SecondFn TemporalRelation) Merge.kif 8795-8795 秒函数时间关系instance
(instance TemporalCompositionFn TemporalRelation) Merge.kif 9395-9395 时间分拆函数时间关系instance
(instance TimeIntervalFn TemporalRelation) Merge.kif 8507-8507 时段函数时间关系instance
(instance WeekFn TemporalRelation) Merge.kif 8980-8980 WeekFn时间关系instance
(instance WhenFn TemporalRelation) Merge.kif 8568-8568 何时函数时间关系instance
(instance YearFn TemporalRelation) Merge.kif 8663-8663 年函数时间关系instance
(instance anniversary TemporalRelation) Mid-level-ontology.kif 21940-21940 anniversary时间关系instance
(instance before TemporalRelation) Merge.kif 8288-8288 之前时间关系instance
(instance beforeOrEqual TemporalRelation) Merge.kif 8330-8330 之前或同时时间关系instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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