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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Proposition423Proposition は、完全な思考またはそのような 考えのセットを表現する Abstract エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、 Prop...^
    Graph6グラフの Clas は、グラフが GraphArcs によって接続 された GraphNode のセットであると理解される。注１：この Class には、接続されたグラフのみが含ま ...^
        DirectedGraph3有向グラフの Class。 有向グラフは、すべての GraphArcs が方向を持つ Graph である。 すなわち、すべての GraphArc には初期ノード (Initial...^
        MultiGraph.マルチグラフの Class 。マルチグラフは、複数の GraphArc によって接続されている GraphNode の少なくとも1つのペアを含む Graph である。^
        PseudoGraph.擬似グラフの Class。擬似グラフは、少なくとも 1つの GraphLoop を含む Graph である。^

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