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

Formal Language: 

Relation: subclass

Abstract6422物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは...^
    List12すべての List は、特定の順序付けされた項目の n タプル である。一般的に、ListListFn Function によって作成され、任意の数の項目を引数として受け 取り...^
        UniqueList.項目が複数回表示されていない List、すなわち (ListOrderFn ?LIST ?NUMBER1) と (ListOrderFn ?LIST ?NUMBER2) が同じ値を返すよ...^

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