Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
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 54695470
(
externalImage
GraphElement
"http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ 6ngraf.svg")
pictureList.kif 17901790
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 54675467
Graph element
is
exhaustively
partitioned
into
graph node
and
graph arc
(
subclass
GraphElement
Proposition
)
Merge.kif 54665466
Graph element
is a
subclass
of
proposition
appearance as argument number 2
(
subclass
GraphArc
GraphElement
)
Merge.kif 54895489
Graph arc
is a
subclass
of
graph element
(
subclass
GraphNode
GraphElement
)
Merge.kif 54795479
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 55315531
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 54725477
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners