Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term: 

  YaeyamaLanguage

 Sigma KEE - TemporalRelation
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
时间关系
这是时间 Relation 的 Class，这个 Class 包括间隔拓扑的(时间)概念、(时间)模式和(时间)延伸。
Relationships      
Parents 可继承的关系 The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  关系 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
InstancesAfternoonFnA UnaryFunction that returns the class of Afternoons of the given Day.
 周年(anniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of ?PHYSICAL. For example, (anniversary Christmas (DayFn 25 December)) means that Christmas is celebrated each year on the 25th of December.
 之前(before ?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。
 之前或同时(beforeOrEqual ?POINT1 ?POINT2) 的意思是 ?POINT1 在通用时间轴上和 ?POINT2 是一致或比它先开始。
 开始函数这是一个 UnaryFunction，它把一个 TimeInterval 和 这个时段开始的 TimePoint 联系起来。
 同时发生(cooccur ?THING1 ?THING2)的意思是 Object 或 Process ?THING1 和 Object 或 Process ?THING2 同时一起发生。这包括以下的时间关系：巧合、同时 发生、同一时段发生和伴随发生。
 日函数这是一个 BinaryFunction， 它把一个 PositiveRealNumber 与一个 Month 的子类别，分配到每个 Month 内对应该 PositiveRealNumber 的 Day。例如： (DayFn 16 August) 是八月份所有第16日的 Class，又例如： (DayFn 9 Month)会得出任何一个月 的第九日。再一个例子：(DayFn 18(MonthFn August (YearFn 1912)))表示1912年八月十八日。
 更早(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。
 结束函数这是一个 UnaryFunction，它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。
 EveningFnA UnaryFunction that returns the class of Evenings of the given Day.
 完成(finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoint，而 ?INTERVAL2 比 ?INTERVAL1 先开始。
 finishesDuring(finishesDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 ends during ?INTERVAL2.
 未来函数这是一个 UnaryFunction，它把一个 TimePosition 联系到和它相遇并在 PositiveInfinity 结束的 TimeInterval。
 时函数这是一个 BinaryFunction， 它把一个 PositiveRealNumber 与一个与一个 Day 的子类别，分配到每个 Day 内对应那个 NonnegativeInteger 的 Hour。例如：(HourFn 12 Thursday)是所有星期四中午的 Class。另外一个例子： (HourFn 0 Day)会得出子夜所有实例的类别。再例如： (HourFn 14(DayFn 18 (MonthFn August (YearFn 1912))))表示1912年八月十八日下午两点。
 紧接未来函数这是一个 UnaryFunction， 它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval。
 紧接过去函数这是一个 UnaryFunction， 它把一个 TimePosition 和紧接这个 TimePosition 之前的一个既短而又不确定的 TimeInterval。
 在时间上接着(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTERVAL2 起点。
 分函数这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 Hour 的子类别，分配到每个 Hour 内对应那个 NonnegativeInteger 的 Minute。例如：(MinuteFn 30 (HourFn 17 Day))是所有下午5:30的 Class。另外一个例子： (MinuteFn 15 Hour) 会得出所有每个小时十五分钟实例的类别。再例如： (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) 表示1912年八月十八日下午两点十五分钟。
 月函数这是一个 BinaryFunction，它把 Month 的子类别与 Year 的子类别和该 Year 对应 Month 的类别联系起来。例如：(MonthFn August (YearFn 1912)) 是包含第八个 Month 的类别，即是1912 Year 的八月。另一个例子是(MonthFn August Year)等于 August，这是所有八月的类别。注：这个函数得出一个 Class 作为它的值，原因是和它相关的函数，即 MonthFn、 DayFn、 HourFn、 MinuteFn 和 SecondFn 等，是用来得出特定的 TimeInterval 和重复发生的时段，而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。
 MorningFnA UnaryFunction that returns the class of Mornings of the given Day.
 在时间上重叠(overlapsTemporally ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 和 ?INTERVAL2 有 TimeInterval 作为它们的 一个共同部分。
 过去函数这是一个 UnaryFunction， 它把一个 TimePosition 联系 到和它相遇并在 NegativeInfinity 开始的 TimeInterval。
 QuarterFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Quarter within each Year corresponding to that PositiveRealNumber. For example, (QuarterFn 4 (YearFn 1999)) is the singular Class of the last QuarterYear of the Year 1999.
 重复发生时间函数这是一个方便得出重复发生时段的函数。例如： (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day))会得出从早上6时开始至中午12结束 的 TimeInterval Class。例如：(RecurrentTimeInterval Saturday Sunday)得出所有周末的 Class。又例如：(RecurrentTimeInterval June August)得出学年的夏季 Class。
 相对时间函数这是用于不同 TimeZone 之间的一种对换 TimePosition 的方法。 (RelativeTimeFn ?TIME ?ZONE)表示 TimePosition 在 CoordinatedUniversalTime 上，即是和 TimePosition ?TIME 在 TimeZone ?ZONE 是同时期。例如： (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone)所得出的值会是 (MeasureFn 19 HourDuration)。
 秒函数这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 minute 的子类别，分配到每个 minute 内对应那个 PositiveRealNumber 的 second。例如： (SecondFn 4 (MinuteFn 5 Hour)) 是所有每小时五分四秒 Class。另外一个例子：(SecondFn 8 Minute) 会得出所有每分钟八秒。再例如：(SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))))表示1912年八月十八日下午两点十五分九秒。
 开始(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint，而 ?INTERVAL1 比 ?INTERVAL2 先 结束。
 startsDuring(startsDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 starts during ?INTERVAL2.
 时间分拆函数这是表示以较小的 TimeInterval 组成较大的 TimeInterval 的基本 Function。例如：如果 ThisSeptember 是 September 的一个 instance， 那么(TemporalCompositionFn ThisSeptember Day)表示构成 ThisSeptember 内连续日数的 Class。注：我们可以用函数 CardinalityFn 来得出这个 Class 实例的数目。
 时间部分这是类似空间谓词 part 的时间部分。 (temporalPart ?POS1 ?POS2)的意思是 TimePosition ?POS1 是 TimePosition ?POS2 的一部分。 注：因为 temporalPart 是 ReflexiveRelation，所以每个 TimePostion 都是它本身的 一个 temporalPart。
 在两个时间之间(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POINT3 之间，即是 ?POINT1 在?POINT2 之前，而 ?POINT2 在 ?POINT3 之前。
 在两个时间之间或同时(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POINT2 之前， 而 ?POINT2 等于或是在 TimePoint?POINT3 之前。
 时间这个关系用于一个 Physical 实例 和一个 TimePosition 实例之间，以防前者所存在的的时间包含了后者的。 换句话说，(time ?THING ?TIME) 的意思是 ?THING 在 ?TIME 出现或发生。注： time 在于 Physical 实例，就相等于 holdsDuring 用在 Formula 的实例上，常数 located 和 time 分别是是基本的空间和时间谓词。
 时段函数这是一个 BinaryFunction，它接受两个 TimePoint 参数，然后得出由这两个 TimePoint 所界定的 TimeInterval。注：第一个 TimePoint 必须要比第二个 TimePoint 先开始。
 typicalTemporalPartAn instance of the first argument is typically a temporal part of an instance of the second argument. This is a class_level relation roughly corresponding to temporalPart. Note that this does not imply that such wholes typically have such parts.
 typicallyContainsTemporalPartAn instance of the second argument typically contains an instance of the first argument. This is a class_level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes.
 weddingAnniversary(weddingAnniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of their weddingdate.
 WeekFnA BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Week within each Year corresponding to that PositiveRealNumber. For example, (WeekFn 4 (YearFn 1999)) is the singular Class of all fourth Weeks of the Year 1999.
 何时函数这是一个 UnaryFunction，它把一个 Object 或 Process 联系到它存在的准确 TimeInterval。注：在 TimeInterval (WhenFn ?THING)以外的 每一个 TimePoint ?TIME， (time ?THING ?TIME) 并不存在
 年函数这是一个 UnaryFunction， 它把一个数字和对应的日历 Year 联系起来。例如：(YearFn 1912)会得出，1912年这个只有一个实例的 Class。正如所料的，正整数会得出公元 的年份，而负整数会得出 公元前的年份。注：这个函数得出一个 Class 作为它的值，原因是和它相关的函数，即 MonthFn、 DayFn、 HourFn、 MinuteFn 和 SecondFn 等，是用来得出特定的 TimeInterval 和重复发生的时段，而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。


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

Show without tree


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