Simple Browser
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
Sigma KEE  PseudoGraph
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
pseudo graph
The
Class
of pseudographs. A pseudograph is a
Graph
containing at least one
GraphLoop
.
Relationships
Parents
graph
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.
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