Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Pendulum
Sigma KEE - graphPart
graphPart
appearance as argument number 1
(
documentation
graphPart
ChineseLanguage
"这是
Graph
和它的部分之间的一个基本关系。 (
graphPart
?PART ?GRAPH) 的意思是 ?PART 是
Graph
?GRAPH 的一个
GraphArc
或
GraphNode
。")
chinese_format.kif 2349-2350
(
documentation
graphPart
EnglishLanguage
"A basic relation for
Graph
s and their parts. (
graphPart
?PART ?GRAPH) means that ?PART is a
GraphArc
or
GraphNode
of the
Graph
?GRAPH.")
Merge.kif 5891-5893
(
documentation
graphPart
JapaneseLanguage
"
Graph
とそのパーツの基本的な関係。(
graphPart
?PART ?GRAPH) とは、?PARTが
Graph
?GRAPH の
GraphArc
または
GraphNode
であることを 意味する。")
japanese_format.kif 1024-1026
(
domain
graphPart
1
GraphElement
)
Merge.kif 5888-5888
域
圖形部分
, 1 and
GraphElement
(
domain
graphPart
2
Graph
)
Merge.kif 5889-5889
域
圖形部分
, 2 and
Graph
(
instance
graphPart
AsymmetricRelation
)
Merge.kif 5885-5885
例
圖形部分
and
AsymmetricRelation
(
instance
graphPart
BinaryPredicate
)
Merge.kif 5884-5884
例
圖形部分
and
BinaryPredicate
(
instance
graphPart
IrreflexiveRelation
)
Merge.kif 5887-5887
例
圖形部分
and
IrreflexiveRelation
(
instance
graphPart
TotalValuedRelation
)
Merge.kif 5886-5886
例
圖形部分
and
TotalValuedRelation
appearance as argument number 2
(
format
ChineseLanguage
graphPart
"%1 %n 是 %2 的
part
")
chinese_format.kif 749-749
(
format
EnglishLanguage
graphPart
"%1 is %n a
part
of %2")
english_format.kif 751-751
(
format
FrenchLanguage
graphPart
"%1 est %n une
part
ie de %2")
french_format.kif 452-452
(
format
ItalianLanguage
graphPart
"%1 è %n una
part
e di %2")
relations-it.txt 119-119
(
format
JapaneseLanguage
graphPart
"%1 は %2 の
part
では %n")
japanese_format.kif 2160-2160
(
format
PortugueseLanguage
graphPart
"%1 e' %n uma &parte de %2")
portuguese_format.kif 404-404
(
format
cz
graphPart
"%1 %p{je} %n{nen�} ��st� %2")
relations-cz.txt 465-465
(
format
de
graphPart
"%1 ist ein teil von %2 %n{nicht}")
relations-de.txt 966-966
(
format
hi
graphPart
"%1 %2 kaa bhaaga %n hai")
relations-hindi.txt 159-159
(
format
ro
graphPart
"%1 %n{nu} este o
part
%t{parte} a kui %2")
relations-ro.kif 474-474
(
format
sv
graphPart
"%1 är %n{inte} en
de
l av %2")
relations-sv.txt 517-517
(
format
tg
graphPart
"%1 %n ay ang bahagi sa %2")
relations-tg.txt 246-246
(
termFormat
ChineseLanguage
graphPart
"图形部分")
chinese_format.kif 750-750
(
termFormat
ChineseTraditionalLanguage
graphPart
"圖形部分")
domainEnglishFormat.kif 26459-26459
(
termFormat
EnglishLanguage
graphPart
"graph part")
domainEnglishFormat.kif 26458-26458
antecedent
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
graphPart
?ARC1 ?PATH)
(
graphPart
?ARC2 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
arcWeight
?ARC2 ?NUMBER2)
(
forall
(?ARC3)
(=>
(
graphPart
?ARC3 ?PATH)
(
or
(
equal
?ARC3 ?ARC1)
(
equal
?ARC3 ?ARC2)))))
(
equal
(
PathWeightFn
?PATH)
(
AdditionFn
?NUMBER1 ?NUMBER2)))
Merge.kif 5993-6006
等於
路徑重量
GraphPath
and
RealNumber
圖形部分
GraphArc
and
GraphPath
圖形部分
GraphArc
and
GraphPath
弧重
GraphArc
and
RealNumber
弧重
GraphArc
and
RealNumber
GraphElement
圖形部分
GraphElement
and
GraphPath
等於
GraphElement
and
GraphArc
等於
GraphElement
and
GraphArc
等於
路徑重量
GraphPath
and
加成
RealNumber
and
RealNumber
(=>
(
and
(
equal
(
PathWeightFn
?PATH) ?SUM)
(
subGraph
?SUBPATH ?PATH)
(
graphPart
?ARC1 ?PATH)
(
arcWeight
?ARC1 ?NUMBER1)
(
forall
(?ARC2)
(=>
(
graphPart
?ARC2 ?PATH)
(
or
(
graphPart
?ARC2 ?SUBPATH)
(
equal
?ARC2 ?ARC1)))))
(
equal
?SUM
(
AdditionFn
(
PathWeightFn
?SUBPATH) ?NUMBER1)))
Merge.kif 5979-5991
等於
路徑重量
GraphPath
and
RealNumber
子圖
GraphPath
and
GraphPath
圖形部分
GraphArc
and
GraphPath
弧重
GraphArc
and
RealNumber
GraphElement
圖形部分
GraphElement
and
GraphPath
圖形部分
GraphElement
and
GraphPath
等於
GraphElement
and
GraphArc
等於
RealNumber
and
加成
路徑重量
GraphPath
and
RealNumber
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6165-6176
UnitOfMeasure
是
unit
在
Graph
例
GraphElement
and
GraphNode
圖形部分
GraphElement
and
Graph
圖形部分
GraphArc
and
Graph
例
GraphArc
and
GraphArc
Physical
的
abstract
counterpart
是
GraphElement
Physical
的
abstract
counterpart
是
GraphArc
弧重
GraphArc
and
RealNumber
測量
Physical
and
測量
RealNumber
and
UnitOfMeasure
(=>
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))
(
instance
?GRAPH
MultiGraph
))
Merge.kif 5790-5799
圖形部分
GraphArc
and
Graph
圖形部分
GraphArc
and
Graph
圖形部分
GraphNode
and
Graph
圖形部分
GraphNode
and
Graph
鏈接
GraphNode
,
GraphNode
and
GraphArc
鏈接
GraphNode
,
GraphNode
and
GraphArc
等於
GraphArc
and
GraphArc
例
Graph
and
MultiGraph
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
圖形部分
GraphElement
and
Graph
例
Graph
and
DirectedGraph
例
GraphElement
and
圖形路徑
GraphNode
and
GraphNode
例
GraphElement
and
圖形路徑
GraphNode
and
GraphNode
(=>
(
and
(
instance
?GRAPH
DirectedGraph
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH))
(
exists
(?NODE1 ?NODE2)
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE1)
(
equal
(
TerminalNodeFn
?ARC) ?NODE2))))
Merge.kif 5675-5683
例
Graph
and
DirectedGraph
例
GraphArc
and
GraphArc
圖形部分
GraphArc
and
Graph
GraphNode
GraphNode
等於
初始節點
GraphArc
and
GraphNode
等於
終端節點
GraphArc
and
GraphNode
(=>
(
and
(
instance
?GRAPH
Graph
)
(
instance
?NODE1
GraphNode
)
(
instance
?NODE2
GraphNode
)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
not
(
equal
?NODE1 ?NODE2)))
(
exists
(?ARC ?PATH)
(
or
(
links
?NODE1 ?NODE2 ?ARC)
(
and
(
subGraph
?PATH ?GRAPH)
(
instance
?PATH
GraphPath
)
(
or
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE1)
(
equal
(
EndNodeFn
?PATH) ?NODE2))
(
and
(
equal
(
BeginNodeFn
?PATH) ?NODE2)
(
equal
(
EndNodeFn
?PATH) ?NODE1)))))))
Merge.kif 5630-5650
例
Graph
and
Graph
例
GraphNode
and
GraphNode
例
GraphNode
and
GraphNode
圖形部分
GraphNode
and
Graph
圖形部分
GraphNode
and
Graph
等於
GraphNode
and
GraphNode
GraphArc
GraphPath
鏈接
GraphNode
,
GraphNode
and
GraphArc
子圖
GraphPath
and
Graph
例
GraphPath
and
GraphPath
等於
開始節點
GraphPath
and
GraphNode
等於
結束節點
GraphPath
and
GraphNode
等於
開始節點
GraphPath
and
GraphNode
等於
結束節點
GraphPath
and
GraphNode
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
InitialNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
InitialNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5726-5737
例
Graph
and
GraphPath
例
GraphArc
and
GraphArc
圖形部分
GraphArc
and
Graph
等於
初始節點
GraphArc
and
GraphNode
GraphArc
等於
初始節點
GraphArc
and
GraphNode
等於
GraphArc
and
GraphArc
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
TerminalNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5739-5750
例
Graph
and
GraphPath
例
GraphArc
and
GraphArc
圖形部分
GraphArc
and
Graph
等於
終端節點
GraphArc
and
GraphNode
GraphArc
等於
終端節點
GraphArc
and
GraphNode
等於
GraphArc
and
GraphArc
(=>
(
and
(
instance
?LOOP
GraphLoop
)
(
graphPart
?LOOP ?GRAPH))
(
instance
?GRAPH
PseudoGraph
))
Merge.kif 5813-5817
例
GraphElement
and
GraphLoop
圖形部分
GraphElement
and
Graph
例
Graph
and
PseudoGraph
(=>
(
and
(
subGraph
?GRAPH1 ?GRAPH2)
(
graphPart
?ELEMENT ?GRAPH1))
(
graphPart
?ELEMENT ?GRAPH2))
Merge.kif 5905-5909
子圖
Graph
and
Graph
圖形部分
GraphElement
and
Graph
圖形部分
GraphElement
and
Graph
consequent
(=>
(
and
(
instance
?TS
TransitSystem
)
(
instance
?T
Transitway
)
(
abstractCounterpart
?G ?TS)
(
systemPart
?T ?TS))
(
exists
(?GA)
(
and
(
instance
?GA
GraphArc
)
(
abstractCounterpart
?GA ?T)
(
graphPart
?GA ?G))))
Transportation.kif 2846-2856
例
物理系統
and
運輸系統
例
Physical
and
公交專用道
物理系統
的
abstract
counterpart
是
Graph
物理系統
是
Physical
的
system
部分
Graph
A
例
Graph
A and
GraphArc
Physical
的
abstract
counterpart
是
Graph
A
圖形部分
Graph
A and
Graph
(=>
(
and
(
instance
?TS
TransitSystem
)
(
instance
?TJ
TransitwayJunction
)
(
abstractCounterpart
?G ?TS)
(
systemPart
?TJ ?TS))
(
exists
(?GN)
(
and
(
instance
?GN
GraphNode
)
(
abstractCounterpart
?GN ?TJ)
(
graphPart
?GN ?G))))
Transportation.kif 2858-2868
例
物理系統
and
運輸系統
例
Physical
and
臨時路口
物理系統
的
abstract
counterpart
是
Graph
物理系統
是
Physical
的
system
部分
Graph
N
例
Graph
N and
GraphNode
Physical
的
abstract
counterpart
是
Graph
N
圖形部分
Graph
N and
Graph
(=>
(
and
(
subGraph
?GRAPH1 ?GRAPH2)
(
graphPart
?ELEMENT ?GRAPH1))
(
graphPart
?ELEMENT ?GRAPH2))
Merge.kif 5905-5909
子圖
Graph
and
Graph
圖形部分
GraphElement
and
Graph
圖形部分
GraphElement
and
Graph
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6157-6163
UnitOfMeasure
是
unit
在
Graph
GraphElement
圖形部分
GraphElement
and
Graph
Physical
Physical
的
abstract
counterpart
是
GraphElement
(=>
(
instance
?GRAPH
Graph
)
(
exists
(?NODE1 ?NODE2 ?NODE3 ?ARC1 ?ARC2)
(
and
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
graphPart
?NODE3 ?GRAPH)
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE2 ?NODE3 ?ARC2)
(
not
(
equal
?NODE1 ?NODE2))
(
not
(
equal
?NODE2 ?NODE3))
(
not
(
equal
?NODE1 ?NODE3))
(
not
(
equal
?ARC1 ?ARC2)))))
Merge.kif 5652-5666
例
Graph
and
Graph
GraphNode
GraphNode
,
GraphNode
,
GraphArc
and
GraphArc
圖形部分
GraphNode
and
Graph
圖形部分
GraphNode
and
Graph
圖形部分
GraphNode
and
Graph
圖形部分
GraphArc
and
Graph
圖形部分
GraphArc
and
Graph
鏈接
GraphNode
,
GraphNode
and
GraphArc
鏈接
GraphNode
,
GraphNode
and
GraphArc
等於
GraphNode
and
GraphNode
等於
GraphNode
and
GraphNode
等於
GraphNode
and
GraphNode
等於
GraphArc
and
GraphArc
(=>
(
instance
?GRAPH
MultiGraph
)
(
exists
(?ARC1 ?ARC2 ?NODE1 ?NODE2)
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))))
Merge.kif 5777-5788
例
Graph
and
MultiGraph
GraphArc
GraphArc
,
GraphNode
and
GraphNode
圖形部分
GraphArc
and
Graph
圖形部分
GraphArc
and
Graph
圖形部分
GraphNode
and
Graph
圖形部分
GraphNode
and
Graph
鏈接
GraphNode
,
GraphNode
and
GraphArc
鏈接
GraphNode
,
GraphNode
and
GraphArc
等於
GraphArc
and
GraphArc
(=>
(
instance
?GRAPH
PseudoGraph
)
(
exists
(?LOOP)
(
and
(
instance
?LOOP
GraphLoop
)
(
graphPart
?LOOP ?GRAPH))))
Merge.kif 5806-5811
例
Graph
and
PseudoGraph
GraphElement
例
GraphElement
and
GraphLoop
圖形部分
GraphElement
and
Graph
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?ARC1 ?ARC2 ?NODE)
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC1) ?NODE)
(
equal
(
TerminalNodeFn
?ARC2) ?NODE)
(
not
(
equal
?ARC1 ?ARC2))))))
Merge.kif 5706-5716
例
Graph
and
Tree
GraphArc
GraphArc
and
GraphNode
圖形部分
GraphArc
and
Graph
圖形部分
GraphArc
and
Graph
圖形部分
GraphNode
and
Graph
等於
終端節點
GraphArc
and
GraphNode
等於
終端節點
GraphArc
and
GraphNode
等於
GraphArc
and
GraphArc
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?LOOP)
(
and
(
instance
?LOOP
GraphCircuit
)
(
graphPart
?LOOP ?GRAPH)))))
Merge.kif 5698-5704
例
Graph
and
Tree
GraphElement
例
GraphElement
and
GraphCircuit
圖形部分
GraphElement
and
Graph
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?LOOP)
(
and
(
instance
?LOOP
GraphLoop
)
(
graphPart
?LOOP ?GRAPH)))))
Merge.kif 5690-5696
例
Graph
and
Tree
GraphElement
例
GraphElement
and
GraphLoop
圖形部分
GraphElement
and
Graph
(=>
(
instance
?PART
GraphElement
)
(
exists
(?GRAPH)
(
and
(
instance
?GRAPH
Graph
)
(
graphPart
?PART ?GRAPH))))
Merge.kif 5825-5830
例
GraphElement
and
GraphElement
Graph
例
Graph
and
Graph
圖形部分
GraphElement
and
Graph
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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