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

Formal Language: 

Relation: subclass

Relation1738関係の ClassRelation には、PredicateFunction、と List の3種類がある。 %Predicate と Function の両方が、順序...^
InheritableRelation1734Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。^
    SingleValuedRelation346Relation は、 SingleValuedRelation で、最後の引数位置を除くすべての引数位置に値を割り当てるだけで、最後の 引数位置に対して最も 1 つの割り当てを決定する場合...^
        Function305Function とは、Relation で、nタプルの引数から 範囲にマップし、この nタプルを最大1つの範囲要素に関連付ける用語形成である。注:範囲は SetOrClass であり、...^

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