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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1730関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序...^
    PartialValuedRelation145Relation は それが TotalValuedRelation でない場合に備え、PartialValuedRelation である。つまり、最後の引数を除くすべての引数の位置に値...^
        coding1A relation between a ContentBearingObject and a CodingScheme that specifies how the content is ...^
        filename.A relation between a SymbolicString and an instance of DigitalData that specified the filename ...^
        mimeType.A relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045.^
        areaOfOperation.An operational area defined by the joint force commander for land and naval forces. Areas of operat...^
        conjugate.(conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSu...^
        customer1A very general relation that exists whenever there is a FinancialTransaction between the two Ag...^
        hostileForces.(hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, a...^
        stored.(stored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in so...^
        SeriesVolumeFn.A BinaryFunction that maps a type of Series (e.g. the Encyclopedia_Britannica or the Popular_Me...^
        PeriodicalIssueFn.A BinaryFunction that maps a subclass of Periodical and a number to all of the issues of the ...^
        alias.(alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely be...^
        legalGuardian.(holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, ?H2 has legal authori...^
        ancestorOrganization.(ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organiz...^
        SubstringFn.(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string ...^
        suffers.The opposite of benefits. The Agent does not want the action to occur.^
        inverse.El inverso de una BinaryRelation es una Relation en la que todas las tuplas de la Relation or...^
        disjointRelation.Este predicado se relaciona con dos Relations. (disjointRelation ?REL1 ?REL2) significa que las...^
        successorAttributeClosure.La clausura transitiva de successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) quiere ...^
        FrontFn.Una Function que mapea un Object al lado que generalmente recibe la mayoría de la atención o qu...^
        BackFn.Function は、Object の FrontFn の反対側に マップされている。注：これは 一部の Objects に側面がない為、部分的関数である。例：リンゴと球。 Im...^
        contains.La relación de contención espacial para dos objetos separables. Cuando dos objetos no son separable...^
        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 (国際標...^
        subProposition2(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.(attends ?DEMO ?PERSON)的意思是 ?PERSON 出席 ?DEMO 演出活动，即是成为听众。^
        atomicNumber.(atomicNumber ?ELEMENT ?NUMBER)的意思是 ElementalSubstance ?ELEMENT 的原子数是 ?NUMBER。原子数是一个 Atom 核子内...^
        EditionFn.这是一个 BinaryFunction，它把一种文本 (例如：阿加莎·克里斯蒂所作的'东方快车'谋杀案 ) 和这个文本的版本对应的一个数字连在一起。^
        connectedEngineeringComponents.这是 EngineeringComponent 之间最普遍的连接关系。如果(connectedEngineeringComponents ?COMP1 ?COMP2),那么既非 ?COMP1...^
        mother.这是母亲的概括关系。(mother ?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。^
        father.这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。^
        sibling2这是两个拥有共同 mother 和 father 的 Organism 之间的关系。注：这个关系不包括同父异母或同母异父的兄弟或姐妹等等之间的关系。^
        brother.这是兄弟的概括关系。(brother ?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。^
        sister.这是姐妹的概括关系。(sister ?WOMAN ?PERSON)的意思是 ?WOMAN 是 ?PERSON 的姐妹。^
        spouse.这是两个 Human 的婚姻关系。^
        husband.(husband ?MAN ?WOMAN)的意思是 ?MAN 是 ?WOMAN 的 丈夫。^
        GovernmentFn.(GovernmentFn ?AREA)表示 GeopoliticalArea ?AREA 的 Government。例如：(GovernmentFn UnitedStates)...^
        direction.(direction ?PROC ?ATTR)的意思是 Process ?PROC 正向 ?ATTR 的方向移动。例如：我们会用这个 Predicate 来代表马斯正在向 North...^
        modalAttribute.这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达...^
        acronym.(acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a m...^
        spellingInLanguage.The predicate. (spellingInLanguage ?SYMBOLICSTRING ?WORD ?LANGUAGE) means that the SymbolicStri...^
        keyName.(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically u...^
        agentName4(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?...^
        agreementAdoptionDate.(agreementAdoptionDate ?AGR ?TIME) means that the agreement ?AGR was adopted on the date indicate...^
        agreementEffectiveDuring.(agreementEffectiveDuring ?AGR ?DATE) means that the agreement ?AGR is effective during the time ...^
        diplomaticRelations.(diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations betw...^
        exportPartner.(exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the A...^
        importPartner.(importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the &...^
        catalogItem.(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG^

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