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
graphPart
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 数量 是
图元素
的
instance
(
domain
graphPart
2
Graph
)
Merge.kif 5889-5889
图形部分
的 2 数量 是
图
的
instance
(
instance
graphPart
AsymmetricRelation
)
Merge.kif 5885-5885
图形部分
是
非对称关系
的
instance
(
instance
graphPart
BinaryPredicate
)
Merge.kif 5884-5884
图形部分
是
二元谓语
的
instance
(
instance
graphPart
IrreflexiveRelation
)
Merge.kif 5887-5887
图形部分
是
非自反关系
的
instance
(
instance
graphPart
TotalValuedRelation
)
Merge.kif 5886-5886
图形部分
是
总值关系
的
instance
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
如果
图路径
的值
equal
实数
和
图弧
是
那个 图路径
的
part
和
另一个 图弧
是
那个 图路径
的
part
和
那个 图弧
的值 是
另一个 实数
和
那个 另外 图弧
的值 是
第三 实数
和 对所有
图元素
如果
那个 图元素
是
那个 图路径
的
part
,
然后
那个 图元素
equal
那个 图弧
或
那个 图元素
equal
那个 另外 图弧
,
然后
那个 图路径
的值
equal
(
那个 另外 实数
和
那个 第三 实数
)
(=>
(
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
如果
图路径
的值
equal
实数
和
另一个 图路径
是
那个 图路径
的
subGraph
和
图弧
是
那个 图路径
的
part
和
那个 图弧
的值 是
另一个 实数
和 对所有
图元素
如果
那个 图元素
是
那个 图路径
的
part
,
然后
那个 图元素
是
那个 另外 图路径
的
part
或
那个 图元素
equal
那个 图弧
,
然后
那个 实数
equal
(
那个 另外 图路径
的值 和
那个 另外 实数
)
(=>
(
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
如果
测量单位
是
unit
在
图
和
图元素
是
图节点
的
instance
和
那个 图元素
是
那个 图
的
part
和
图弧
是
那个 图
的
part
和
那个 图弧
是
图弧
的
instance
和
物理
的
abstract
counterpart
是
那个 图元素
和
另一个 物理
的
abstract
counterpart
是
那个 图弧
和
那个 图弧
的值 是
实数
,
然后
那个 另外 物理
的
measure
是
那个 实数
那个 测量单位
(=>
(
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
如果
图弧
是
图
的
part
和
另一个 图弧
是
那个 图
的
part
和
图节点
是
那个 图
的
part
和
另一个 图节点
是
那个 图
的
part
和
那个 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 另外 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 图弧
不
equal
那个 另外 图弧
,
然后
那个 图
是
多重图
的
instance
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
如果
图元素
是
图
的
part
和
那个 图
不 是
有向图
的
instance
,
然后
那个 图元素
是
图节点
和
另一个 图节点
的路径集
Set
的
instance
若且唯若
那个 图元素
是
那个 另外 图节点
和
那个 图节点
的路径集
Set
的
instance
(=>
(
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
如果
图
是
有向图
的
instance
和
图弧
是
图弧
的
instance
和
那个 图弧
是
那个 图
的
part
,
然后 有存在
图节点
和
另一个 图节点
这样
那个 图弧
节点的起点
equal
那个 图节点
和
那个 图弧
节点的终点
equal
那个 另外 图节点
(=>
(
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
如果
图
是
图
的
instance
和
图节点
是
图节点
的
instance
和
另一个 图节点
是
图节点
的
instance
和
那个 图节点
是
那个 图
的
part
和
那个 另外 图节点
是
那个 图
的
part
和
那个 图节点
不
equal
那个 另外 图节点
,
然后 有存在
图弧
和
图路径
这样
那个 图弧
links
那个 图节点
和
那个 另外 图节点
或
那个 图路径
是
那个 图
的
subGraph
和
那个 图路径
是
图路径
的
instance
和
那个 图路径
的开端
equal
那个 图节点
和
那个 图路径
的末端
equal
那个 另外 图节点
或
那个 图路径
的开端
equal
那个 另外 图节点
和
那个 图路径
的末端
equal
那个 图节点
(=>
(
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
如果
图
是
图路径
的
instance
和
图弧
是
图弧
的
instance
和
那个 图弧
是
那个 图
的
part
和
那个 图弧
节点的起点
equal
图节点
,
然后 不存在
另一个 图弧
这样
那个 另外 图弧
节点的起点
equal
那个 图节点
和
那个 另外 图弧
不
equal
那个 图弧
(=>
(
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
如果
图
是
图路径
的
instance
和
图弧
是
图弧
的
instance
和
那个 图弧
是
那个 图
的
part
和
那个 图弧
节点的终点
equal
图节点
,
然后 不存在
另一个 图弧
这样
那个 另外 图弧
节点的终点
equal
那个 图节点
和
那个 另外 图弧
不
equal
那个 图弧
(=>
(
and
(
instance
?LOOP
GraphLoop
)
(
graphPart
?LOOP ?GRAPH))
(
instance
?GRAPH
PseudoGraph
))
Merge.kif 5813-5817
如果
图元素
是
图环路
的
instance
和
那个 图元素
是
图
的
part
,
然后
那个 图
是
伪图
的
instance
(=>
(
and
(
subGraph
?GRAPH1 ?GRAPH2)
(
graphPart
?ELEMENT ?GRAPH1))
(
graphPart
?ELEMENT ?GRAPH2))
Merge.kif 5905-5909
如果
图
是
另一个 图
的
subGraph
和
图元素
是
那个 图
的
part
,
然后
那个 图元素
是
那个 另外 图
的
part
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
如果
物理系统
是
运输系统
的
instance
和
物理
是
公交专用道
的
instance
和
那个 物理系统
的
abstract
counterpart
是
图
和
那个 物理系统
是
那个 物理
的
system
部分,
然后 有存在
那个 图
A 这样
那个 图
A 是
图弧
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 图
A 和
那个 图
A 是
那个 图
的
part
(=>
(
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
如果
物理系统
是
运输系统
的
instance
和
物理
是
临时路口
的
instance
和
那个 物理系统
的
abstract
counterpart
是
图
和
那个 物理系统
是
那个 物理
的
system
部分,
然后 有存在
那个 图
N 这样
那个 图
N 是
图节点
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 图
N 和
那个 图
N 是
那个 图
的
part
(=>
(
and
(
subGraph
?GRAPH1 ?GRAPH2)
(
graphPart
?ELEMENT ?GRAPH1))
(
graphPart
?ELEMENT ?GRAPH2))
Merge.kif 5905-5909
如果
图
是
另一个 图
的
subGraph
和
图元素
是
那个 图
的
part
,
然后
那个 图元素
是
那个 另外 图
的
part
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6157-6163
如果
测量单位
是
unit
在
图
,
然后 对所有
图元素
那个 图元素
是
那个 图
的
part
和 有存在
物理
这样
那个 物理
的
abstract
counterpart
是
那个 图元素
(=>
(
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
如果
图
是
图
的
instance
,
然后 有存在
图节点
,
另一个 图节点
,, ,
第三 图节点
,, ,
图弧
, and 和
另一个 图弧
这样
那个 图节点
是
那个 图
的
part
和
那个 另外 图节点
是
那个 图
的
part
和
那个 第三 图节点
是
那个 图
的
part
和
那个 图弧
是
那个 图
的
part
和
那个 另外 图弧
是
那个 图
的
part
和
那个 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 另外 图弧
links
那个 另外 图节点
和
那个 第三 图节点
和
那个 图节点
不
equal
那个 另外 图节点
和
那个 另外 图节点
不
equal
那个 第三 图节点
和
那个 图节点
不
equal
那个 第三 图节点
和
那个 图弧
不
equal
那个 另外 图弧
(=>
(
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
如果
图
是
多重图
的
instance
,
然后 有存在
图弧
,
另一个 图弧
,, ,
图节点
, and 和
另一个 图节点
这样
那个 图弧
是
那个 图
的
part
和
那个 另外 图弧
是
那个 图
的
part
和
那个 图节点
是
那个 图
的
part
和
那个 另外 图节点
是
那个 图
的
part
和
那个 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 另外 图弧
links
那个 图节点
和
那个 另外 图节点
和
那个 图弧
不
equal
那个 另外 图弧
(=>
(
instance
?GRAPH
PseudoGraph
)
(
exists
(?LOOP)
(
and
(
instance
?LOOP
GraphLoop
)
(
graphPart
?LOOP ?GRAPH))))
Merge.kif 5806-5811
如果
图
是
伪图
的
instance
,
然后 有存在
图元素
这样
那个 图元素
是
图环路
的
instance
和
那个 图元素
是
那个 图
的
part
(=>
(
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
如果
图
是
树
的
instance
,
然后 不存在
图弧
,
另一个 图弧
, and 和
图节点
这样
那个 图弧
是
那个 图
的
part
和
那个 另外 图弧
是
那个 图
的
part
和
那个 图节点
是
那个 图
的
part
和
那个 图弧
节点的终点
equal
那个 图节点
和
那个 另外 图弧
节点的终点
equal
那个 图节点
和
那个 图弧
不
equal
那个 另外 图弧
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?LOOP)
(
and
(
instance
?LOOP
GraphCircuit
)
(
graphPart
?LOOP ?GRAPH)))))
Merge.kif 5698-5704
如果
图
是
树
的
instance
,
然后 不存在
图元素
这样
那个 图元素
是
图回路
的
instance
和
那个 图元素
是
那个 图
的
part
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?LOOP)
(
and
(
instance
?LOOP
GraphLoop
)
(
graphPart
?LOOP ?GRAPH)))))
Merge.kif 5690-5696
如果
图
是
树
的
instance
,
然后 不存在
图元素
这样
那个 图元素
是
图环路
的
instance
和
那个 图元素
是
那个 图
的
part
(=>
(
instance
?PART
GraphElement
)
(
exists
(?GRAPH)
(
and
(
instance
?GRAPH
Graph
)
(
graphPart
?PART ?GRAPH))))
Merge.kif 5825-5830
如果
图元素
是
图元素
的
instance
,
然后 有存在
图
这样
那个 图
是
图
的
instance
和
那个 图元素
是
那个 图
的
part
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