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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769関係の ClassRelation には、PredicateFunction、と List の3種類がある。 %Predicate と Function の両方が、順序...^
    VariableArityRelation12Relations の Class は、一定数の 引数を持たない。^
        processList.^
        contraryAttribute.contraryAttribute は Attributes の セットで、これらの複数の Attributes を同時に持つことができない。 例えば、(contraryAttrib...^
        exhaustiveAttribute.この述部は Class から Attributes のセットに関係している。要するに、このセットの要素が Class のインスタンスを使い果たす、という 意味である。 例えば、(ex...^
        exhaustiveDecomposition.Class C の exhaustiveDecomposition は、Cのサブクラスのセットで、Cのすべてのインスタンスはセット内のサブクラスの1つのインスタンスである。 注:これは必ずし...^
        disjointDecomposition.Class C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。^
        partition.Class C の partition は 相互に disjoint クラス(サブクラスパーティション)で、C をカバーする。Cのすべてのインスタンスは、パーティション 内の正確な1つの...^
        AssignmentFn.FがN1,..., NKで示されるオブジェクトの値を持つ Function である場合、(AssignmentFn F N1 ... NK) は、N1,..., NKで示されるオブジェクトに...^
        ListFn.任意の数の引数を受け取り、それらの引数を含む List を まったく同じ順序で返す Function^
        GreatestCommonDivisorFn.(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1 から ?NUMBER までの最大共通除数を返す。^
        LeastCommonMultipleFn.(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) は、?NUMBER1から ?NUMBERまでの最も一般的でない倍数を返す。^
        LatitudeFn.^
        LongitudeFn.^

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