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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
TransitiveRelation109BinaryRelation ?REL は、すべての ?INST1, ?INST2, および ?INST3 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ...^
SymmetricRelation38BinaryRelation ?REL は、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) が (?REL ?INST2 ?INST1) の場合...^
ReflexiveRelation69Relation ?REL は、すべての ?INST に対し (?REL ?INST ?INST) の場合のみ再帰的である。^
    EquivalenceRelation6BinaryRelation は、ReflexiveRelationSymmetricRelation、および TransitiveRelation の場合の等価関係です。^
        relatedInternalConcept.2つの引数がSUMO内の関連する概念、と いう意味である。例えば、それらの間での意味にはかなりの類似性がある。SUMO概念と別のソースからの概念 間の意味関係を示すには述語 relatedExt...^
        identicalListItems.(identicalListItems ?LIST1 ?LIST2) とは、?LIST1 と ?LIST2 がそれぞれのリストにまったく同じ項目を持つことを意味する。?LIST1と ?LIST2...^
        copy.ObjectObject の正確なコピーに関連付け、 正確なコピーは(おそらく)空間的および/または時間的な場所を除くすべてのプロパティに関して元のコピーと 区別できない。^
        equivalentContentClass.BinaryPredicateContentBearingPhysical の2つのサブクラスを関連付ける。 (equivalentContentClass ?CLASS1 ?CL...^
        equivalentContentInstance.BinaryPredicate は、 ContentBearingPhysical の2つのインスタンスに関連する。 (equivalentContentInstance ?OBJ1 ?...^
        cooccur.(cooccur ?THING1 ?THING2)とは、Object または Process ?THING1 が Object または Process ?THING2 と同時に起...^

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