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

Formal Language: 

Relation: subclass

Function302Function とは、Relation で、nタプルの引数から 範囲にマップし、この nタプルを最大1つの範囲要素に関連付ける用語形成である。注:範囲は SetOrClass であり、...^
QuaternaryRelation31QuaternaryRelation は4つの項目に関連 している。2つの QuaternaryRelationsubclassQuaternaryPredicate と...^
InheritableRelation1726Relations のクラスは、サブ Relations を介してクラス階層内でプロパティを下方に継承できる 。^
    TernaryFunction3FunctionClass は、正確に3つの引数を 必要とする 。^
        MusicalInterpretationFn.The function (MusicalInterpretationFn ?A ?M ?T) returns an instance of MakingMusic that refer...^
        SubstringFn.(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string ...^
        SubListFn.A Function that returns a portion of the List that runs from the first index to the second inde...^

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