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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...^
InheritableRelation1765Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。^
    TemporalRelation40時間的な Relation の Class この Class は、間隔の(時間的な)トポロジ、(時間的)スケマタ、および(時間的)拡張の概念を含む。^
        anniversary2^
        weddingAnniversary.^
        time1この関係は、前者の一時的な寿命が後者を含む場合に備えて、 Physical のインスタンスと TimePosition のインスタンスの間に保持されます。言い換えれば、 (time ?T...^
        temporalPart2空間 part 述部の時間アナログ。(temporalPart ?POS1 ?POS2) とは、TimePosition ?POS1が TimePosition ?POS2 の一部で...^
        BeginFn.UnaryFunction は TimeInterval を 間隔が開始され る TimePoint にマップする。^
        EndFn.UnaryFunction は、TimeInterval を間隔が終了する TimePoint にマップする。^
        starts.(starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva...^
        finishes.(finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterv...^
        before.(before ?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。^
        beforeOrEqual1(beforeOrEqual ?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。^
        temporallyBetween.(temporallyBetween ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT2 が TimePoint ?POINT1 と ?POINT...^
        temporallyBetweenOrEqual1(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT1 が TimePoint ?POINT2 の...^
        overlapsTemporally.(overlapsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeIntervals ?INTERVAL1 と ?INTERVAL2 が共通の部分として &...^
        meetsTemporally.(meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERV...^
        earlier.(earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が...^
        cooccur.(cooccur ?THING1 ?THING2)とは、Object または Process ?THING1 が Object または Process ?THING2 と同時に起...^
        TimeIntervalFn.BinaryFunction は、引数として２つの TimePoint を受け取り、これら２つの TimePoint によって定義された TimeInterval を返す。 最初の ...^
        RecurrentTimeIntervalFn.定期的な時間間隔の生成に役立つ関数。 例えば、(RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) は、午前６時に始まり...^
        WhenFn.UnaryFunction は、Object または Process が存在 する正確な TimeInterval にマップされる。　注：%TimeInterval の外側のすべての...^
        PastFn.UnaryFunction は、TimePosition を TimeInterval にマッピングし、NegativeInfinity で始まる。^
        ImmediatePastFn.UnaryFunction は、TimePosition を　 TimePosition の直前にある短い不確定 TimeInterval にマップする。^
        FutureFn.UnaryFunction は、PositiveInfinity で満たして 終了する　TimePosition をマップする。^
        ImmediateFutureFn.UnaryFunction は、TimePosition を、 TimePosition の直後に続く短い不確定 TimeInterval にマップする。^
        YearFn.UnaryFunction は、数値を対応するカレンダー Year にマップする。 注：(YearFn 1912) は、１９１２年の１つのインスタンスだけを含む Class を返 す...^
        MonthFn.BinaryFunction は、%Month のサブクラスと Year のサブクラスを、その Year に対応する Month を含むクラスにマップする。　例えば　(Month...^
        DayFn.BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の...^
        HourFn.BinaryFunction は、その NonnegativeInteger に 対応する各 Day 内の Hour に PositiveRealNumber と Day の...^
        MinuteFn.BinaryFunction は、PositiveRealNumber と Hour のサブクラスを、その NonnegativeInteger に対応する各 Hour 内の &...^
        SecondFn.BinaryFunction は、PositiveRealNumber と Minute のサブクラスを、その PositiveRealNumber に対応する各 Minute ...^
        MorningFn.UnaryFunction は、与えられた Day の Morning のクラスを返す。^
        AfternoonFn.UnaryFunction は、与えられた Day の Afternoon のクラスを返す。^
        EveningFn.UnaryFunction は、指定された Day の Evening のクラスを返す。^
        WeekFn.BinaryFunction は、PositiveRealNumber と Year のサブクラスを、その PositiveRealNumber に対応する各 Year 内の &...^
        QuarterFn.BinaryFunction は、PositiveRealNumber および その PositiveRealNumber に対応する各 Year 内の %Quarter に対する ...^
        TemporalCompositionFn.より小さい %TimeInterval から大きな %TimeInterval の組成を表現するための基本的な Function。例えば、ThisSeptember が Septembe...^
        RelativeTimeFn.^
        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