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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组...^
InheritableRelation1765这是一个 Relation 类别，它的特性可以是 通过 subrelation Predicate 把特性在类别的层次结构承传下去。^
    TemporalRelation40这是时间 Relation 的 Class，这个 Class 包括间隔拓扑的(时间)概念、(时间)模式和(时间)延伸。^
        anniversary2^
        weddingAnniversary.^
        time1这个关系用于一个 Physical 实例 和一个 TimePosition 实例之间，以防前者所存在的的时间包含了后者的。 换句话说，(time ?THING ?TIME) 的意思是 ?...^
        temporalPart2这是类似空间谓词 part 的时间部分。 (temporalPart ?POS1 ?POS2)的意思是 TimePosition ?POS1 是 TimePosition ?POS2...^
        BeginFn.这是一个 UnaryFunction，它把一个 TimeInterval 和 这个时段开始的 TimePoint 联系起来。^
        EndFn.这是一个 UnaryFunction，它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。^
        starts.(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint...^
        finishes.(finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoi...^
        before.(before ?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。^
        beforeOrEqual1(beforeOrEqual ?POINT1 ?POINT2) 的意思是 ?POINT1 在通用时间轴上和 ?POINT2 是一致或比它先开始。^
        temporallyBetween.(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POI...^
        temporallyBetweenOrEqual1(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POI...^
        overlapsTemporally.(overlapsTemporally ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 和 ?INTERVAL2 有 TimeInt...^
        meetsTemporally.(meetsTemporally ?INTERVAL1 ?INTERVAL2) 的意思是 TimeInterval ?INTERVAL1 的终点是 TimeInterval ?INTER...^
        earlier.(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。^
        cooccur.(cooccur ?THING1 ?THING2)的意思是 Object 或 Process ?THING1 和 Object 或 Process ?THING2 同时一起发生。...^
        TimeIntervalFn.这是一个 BinaryFunction，它接受两个 TimePoint 参数，然后得出由这两个 TimePoint 所界定的 TimeInterval。注：第一个 TimePoi...^
        RecurrentTimeIntervalFn.这是一个方便得出重复发生时段的函数。例如： (RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day))会得出从早上6时开始至中...^
        WhenFn.这是一个 UnaryFunction，它把一个 Object 或 Process 联系到它存在的准确 TimeInterval。注：在 TimeInterval (WhenFn ...^
        PastFn.这是一个 UnaryFunction， 它把一个 TimePosition 联系 到和它相遇并在 NegativeInfinity 开始的 TimeInterval。^
        ImmediatePastFn.这是一个 UnaryFunction， 它把一个 TimePosition 和紧接这个 TimePosition 之前的一个既短而又不确定的 TimeInterval。^
        FutureFn.这是一个 UnaryFunction，它把一个 TimePosition 联系到和它相遇并在 PositiveInfinity 结束的 TimeInterval。^
        ImmediateFutureFn.这是一个 UnaryFunction， 它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval。^
        YearFn.这是一个 UnaryFunction， 它把一个数字和对应的日历 Year 联系起来。例如：(YearFn 1912)会得出，1912年这个只有一个实例的 Class。正如所料的，正...^
        MonthFn.这是一个 BinaryFunction，它把 Month 的子类别与 Year 的子类别和该 Year 对应 Month 的类别联系起来。例如：(MonthFn Augu...^
        DayFn.这是一个 BinaryFunction， 它把一个 PositiveRealNumber 与一个 Month 的子类别，分配到每个 Month 内对应该 PositiveReal...^
        HourFn.这是一个 BinaryFunction， 它把一个 PositiveRealNumber 与一个与一个 Day 的子类别，分配到每个 Day 内对应那个 NonnegativeI...^
        MinuteFn.这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 Hour 的子类别，分配到每个 Hour 内对应那个 Nonnegative...^
        SecondFn.这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个与一个 minute 的子类别，分配到每个 minute 内对应那个 Positiv...^
        MorningFn.^
        AfternoonFn.^
        EveningFn.^
        WeekFn.^
        QuarterFn.^
        TemporalCompositionFn.这是表示以较小的 TimeInterval 组成较大的 TimeInterval 的基本 Function。例如：如果 ThisSeptember 是 September 的一个...^
        RelativeTimeFn.这是用于不同 TimeZone 之间的一种对换 TimePosition 的方法。 (RelativeTimeFn ?TIME ?ZONE)表示 TimePosition 在 C...^
        typicalTemporalPart.^
        typicallyContainsTemporalPart.^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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