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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...^
    PartialValuedRelation144Relation は それが TotalValuedRelation でない場合に備え、PartialValuedRelation である。つまり、最後の引数を除くすべての引数の位置に値...^
        coding1^
        filename.^
        mimeType.^
        areaOfOperation.^
        conjugate.^
        customer1^
        hostileForces.^
        stored.^
        SeriesVolumeFn.^
        PeriodicalIssueFn.^
        alias.^
        legalGuardian.^
        ancestorOrganization.^
        SubstringFn.^
        suffers.^
        inverse.BinaryRelation の逆は Relation であり、元の Relation のすべてのタプルが逆になる。　言い換えれば、BinaryRelation は、引数が交換された...^
        disjointRelation.この述部は、2つの Relations を関連付ける。 (disjointRelation ?REL1 ?REL2) とは、2つの関係にタプルがないことが共通している、という意味で ある。^
        successorAttributeClosure.successorAttribute の推移的 閉鎖。 (successorAttributeClosure ?ATTR1 ?ATTR2) とは、?ATTR1と?ATTR2を接続する　 ...^
        FrontFn.Function は一般的に最も注目される側に Object をマップするか、もしくは通常 Object が移動する方向に向く。注：これは 一部の Objects に側面が ない為、...^
        BackFn.Function は、Object の FrontFn の反対側に マップされている。注：これは 一部の Objects に側面がない為、部分的関数である。例：リンゴと球。 Im...^
        contains.２つの分離可能なオブジェクトの空間コンテインメントの 関係。2つのオブジェクトが分離できない場合(例:自動車とその座席の1つ)、part の関係を使用する必要が ある。　(contains ...^
        ExtensionFn.メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。^
        AttrFn.指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。^
        agent8(agent ?PROCESS ?AGENT) とは、?AGENT が自発的な意図 の有無にかかわらず、Process ?PROCESS のアニメーションまたは無生物のいずれかのアクティブな...^
        destination.(destination ?PROCESS ?GOAL) とは、?GOAL が Process ?PROCESS のターゲットまたは目標であることを意味する。　例：ダンベリーは次の命題の目的地に な...^
        experiencer3(experiencer ?PROCESS ?AGENT) とは、?AGENT Process ?PROCESS を経験することを意味する。　例：ヨージョは、次の命題で見るの exper...^
        instrument7(instrument ?EVENT ?TOOL) とは、エージェントが ?EVENT を持ち込む場合にエージェントによって使用され、?TOOL が ?EVENT によって変更されないことを 意味す...^
        origin.(origin ?PROCESS ?SOURCE) とは、?SOURCE が ?Process の始まりを示すという意味である。　注：この関係は、?SOURCE がプロセスの開始時に存在する こ...^
        patient32(patient ?PROCESS ?ENTITY) とは、?ENTITYは、 移動、言った、経験豊富な、などが ?PROCESS に参加していることを意味する。　例：「猫はカナリアを飲み 込ん...^
        resource1(resource ?PROCESS ?RESOURCE) とは、?RESOURCE が PR の開始時に存在し、?PROCESS によって使用され、その結果として ?PROCESSによって変更...^
        resourceExhausted.(resourceExhausted ?PROCESS ?RESOURCE) とは、?RESOURCE が ?PROCESS の開始時に存在し、?PROCESS によって使用され、その結果、?P...^
        result.(result ?ACTION ?OUTPUT) とは、?OUTPUTO が ?ACTION のプロダクトであることを意味する。　例：家は次の命題の result である: エリックは家を建てた...^
        ListOrderFn.(ListOrderFn ?LIST ?NUMBER) は、List ?LIST の?NUMBER の位置にある項目を示す。例：(ListFn Monday Tuesday ...^
        inList1Lists の element と instance のアナログ。 (inList ?OBJ ?LIST)とは、?OBJ が List ?LIST 内であることを意味する。例： ...^
        eventPartlyLocated2(eventPartlyLocated ?PROC ?OBJ)とは、 Process ?PROC のいくつかの subProcess が Object ?OBJ に位置していることを...^
        penetrates.(penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して connected ことを意味する。^
        hindersSubclass.非常に一般的なPredicate。 (hindersSubclass ?PROC1 ?PROC2) とは、PProcess ?PROC がサブクラスを妨げるか、Process ?PR...^
        preventsSubclass.非常に一般的な Predicate。 (preventsSubclass ?PROC1 ?PROC2) とは、?PROC1が?PROC2の発生をサブクラスに防止することを意味 する。つまり、?P...^
        prevents.非常に一般的な Predicate。(prevents ?PROC1 ?PROC2) とは、?PROC1のインスタンスが ?PROC2 の発生を防ぐことを意味する。　注：この関係と prev...^
        hinders.一般的な Predicate は、(hinders ?PROC1 ?PROC2) が?PROC2の発生の?PROC1 decreasesLikelihood のインスタンスを意味する。　...^
        uniqueIdentifier.Entity のインスタンスを一意に識別する name のクラス。 uniqueIdentifier の例としては、データベース アプリケーションのテーブルのキー と ISBN (国際標...^
        subProposition1(subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味であ...^
        subPlan.(subPlan ?PLAN1 ?PLAN2) とは、?PLAN1が?PLAN2の 適切な部分である Plan であることを意味する。この関係は、一般に、特定のコンテキストでサポート P...^
        DivisionFn.?NUMBER1 と ?NUMBER2 が Number の場合、 (DivisionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1を ?NUMBER2で除算した結果である...^
        GreatestCommonDivisorFn.(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1 から ?NUMBER までの最大共通除数を返す。^
        IntegerSquareRootFn.(IntegerSquareRootFn ?NUMBER) は、 ?NUMBER の整数平方根を返す。^
        LeastCommonMultipleFn.(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1から ?NUMBERまでの最も一般的でない倍数を返す。^
        RemainderFn.(RemainderFn ?NUMBER ?DIVISOR) は、数値?NUMBER の残りを数値?DIVISORで割った値である。結果の符号は?DIVISOR と同じである。^
        average.List を RealNumber に関連付ける部分関数で、 Listに RealNumber であるリスト要素のみが含まれる。List に関連付けられた RealNumbe...^
        KappaFn.変数と変数の少なくとも 1 つの非連結オカレンスを含む 数式の2つの引数を受け取るクラス形成演算子。変数と数式に KappaFn を適用した結果は、数式を満たす ものの SetOrClass...^
        InitialNodeFn.UnaryFunction は、GraphArc を GraphArc の初期ノードにマップする。　注：これは部分的な関数。特に、DirectedGraph の一部ではない Gr...^
        TerminalNodeFn.UnaryFunction は、 GraphArc を GraphArc の端子ノードにマップする。 注：これは部分的な関数。特に、DirectedGraph の一部では ない ...^
        altitude.TernaryPredicate は、Object の top と Object の top より下にある別の点との間の distance を述えるために使用される(多くの場...^
        temporallyBetween.(temporallyBetween ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT2 が TimePoint ?POINT1 と ?POINT...^
        temporallyBetweenOrEqual1(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT1 が TimePoint ?POINT2 の...^
        TimeIntervalFn.BinaryFunction は、引数として２つの TimePoint を受け取り、これら２つの TimePoint によって定義された TimeInterval を返す。 最初の ...^
        RecurrentTimeIntervalFn.定期的な時間間隔の生成に役立つ関数。 例えば、(RecurrentTimeIntervalFn (HourFn 6 Day)(HourFn 12 Day)) は、午前６時に始まり...^
        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 に対する ...^
        overlapsPartially.(overlapsPartially ?OBJ1 ?OBJ2) とは、 ?OBJ1 と ?OBJ2 には共通の部分があるが、?OBJ1 も ?OBJ2 も他の part ではない。^
        superficialPart4(superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部...^
        attends.^
        atomicNumber.^
        EditionFn.^
        connectedEngineeringComponents.^
        mother.^
        father.^
        sibling2^
        brother.^
        sister.^
        spouse.^
        husband.^
        GovernmentFn.^
        direction.^
        modalAttribute.^
        acronym.^
        spellingInLanguage.^
        keyName.^
        agentName4^
        agreementAdoptionDate.^
        agreementEffectiveDuring.^
        diplomaticRelations.^
        exportPartner.^
        importPartner.^
        catalogItem.^

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