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

Formal Language: 

Relation: subclass

Entity13576La clase universal de individuos. Es el nodo principal de la ontología.^
    Abstract6062物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは...^
        ProcessTask2A function to be performed.^
        Quantity452何かの数や量の任意の仕様。 それに応じて、 二つの Quantity のサブクラスがある:Number (数)と PhysicalQuantity (量)。^
        Attribute3433サブクラスに再び取り入れることができないか、または 選択できない品質。^
        SetOrClass6Sets の SetOrClassClasses。 例: elements または instances がある Abstract の任意のインスタンス。^
        Relation1730関係の ClassRelation には、PredicateFunction、と List の3種類がある。 %Predicate と Function の両方が、順序...^
        List12すべての List は、特定の順序付けされた項目の n タプル である。一般的に、ListListFn Function によって作成され、任意の数の項目を引数として受け 取り...^
        Proposition421Proposition は、完全な思考またはそのような 考えのセットを表現する Abstract エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、 Prop...^

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