Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  GraphElement
GraphElement
(graph element)
appearance as argument number 1
(
documentation
GraphElement
ChineseLanguage
"这是
Graph
的非组成部分，这些部分限于
GraphNode
和
GraphArc
。")
chinese_format.kif 23402341
(
documentation
GraphElement
EnglishLanguage
"Noncompositional parts of
Graph
s. These parts are restricted to
GraphNode
s and
GraphArc
s.")
Merge.kif 55045505
(
externalImage
GraphElement
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6ngraf.svg")
pictureList.kif 17901790
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 55025502
Graph element
is
exhaustively
partitioned
into
graph node
and
graph arc
(
subclass
GraphElement
Proposition
)
Merge.kif 55015501
Graph element
is a
subclass
of
proposition
appearance as argument number 2
(
subclass
GraphArc
GraphElement
)
Merge.kif 55245524
Graph arc
is a
subclass
of
graph element
(
subclass
GraphNode
GraphElement
)
Merge.kif 55145514
Graph node
is a
subclass
of
graph element
(
termFormat
ChineseLanguage
GraphElement
"图元素")
chinese_format.kif 940940
(
termFormat
EnglishLanguage
GraphElement
"graph element")
english_format.kif 10921092
appearance as argument number 3
(
domain
graphPart
1
GraphElement
)
Merge.kif 55665566
The number 1 argument of
graph part
is an
instance
of
graph element
antecedent
(=>
(
instance
?PART
GraphElement
)
(
exists
(?GRAPH)
(
and
(
instance
?GRAPH
Graph
)
(
graphPart
?PART ?GRAPH))))
Merge.kif 55075512
If
a graph element
is an
instance
of
graph element
,
then there exists
a graph
such that
the graph
is an
instance
of
graph
and
the graph element
is a
part
of
the graph
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified 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