Simple Browser
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
Sigma KEE  DirectedGraph
KB Term:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
有向图
这是有向图的
Class
，有向图的所有
GraphArc
都 有方向，即是每一个
GraphArc
有一个始点(可参考
InitialNodeFn
)和一个终点(可参考
TerminalNodeFn
)。
Relationships
Parents
图
The
Class
of graphs, where a graph is understood to be a set of
GraphNode
s connected by
GraphArc
s. Note that this
Class
includes only connected graphs, i.e. graphs in which there is a
GraphPath
between any two
GraphNode
s. Note too that every
Graph
is required to contain at least two
GraphArc
s and three
GraphNode
s.
Children
图路径
Informally, a single, directed route between two
GraphNode
s in a
Graph
. Formally, a
DirectedGraph
that is a
subGraph
of the original
Graph
and such that no two
GraphArc
s in the
DirectedGraph
have the same initial node (see
InitialNodeFn
) or the same terminal node (see
TerminalNodeFn
).
树
A Tree is a
DirectedGraph
that has no
GraphLoop
s.
Show simplified definition with tree view
Show full definition (without tree view)
Show full definition (with tree view)
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