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
links
Sigma KEE - links
links
appearance as argument number 1
(
documentation
links
ChineseLanguage
"这是一个
TernaryPredicate
, 它指定联系两个
GraphNode
的
GraphArc
。")
chinese_format.kif 2347-2348
(
documentation
links
EnglishLanguage
"a
TernaryPredicate
that specifies the
GraphArc
connecting two
GraphNode
s.")
Merge.kif 5877-5878
(
documentation
links
JapaneseLanguage
"
TernaryPredicate
は、2つの
GraphNode
を接続してい る
GraphArc
を指定する 。")
japanese_format.kif 1022-1023
(
domain
links
1
GraphNode
)
Merge.kif 5873-5873
连接
的 1 数量 是
图节点
的
instance
(
domain
links
2
GraphNode
)
Merge.kif 5874-5874
连接
的 2 数量 是
图节点
的
instance
(
domain
links
3
GraphArc
)
Merge.kif 5875-5875
连接
的 3 数量 是
图弧
的
instance
(
instance
links
TernaryPredicate
)
Merge.kif 5872-5872
连接
是
三元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
links
"%3 %n{doesn't}
links
%1 和 %2")
chinese_format.kif 747-747
(
format
EnglishLanguage
links
"%3 %n{doesn't} link%p{s} %1 and %2")
english_format.kif 749-749
(
format
FrenchLanguage
links
"%3 %n{ne} lie %n{pas} %1 et %2")
french_format.kif 451-451
(
format
ItalianLanguage
links
"%3 %n{non} lega%p{s} %1 e %2")
relations-it.txt 165-165
(
format
JapaneseLanguage
links
"%3 は %1 と %2 を link%p{s} %n{ない}")
japanese_format.kif 2159-2159
(
format
PortugueseLanguage
links
"%3 %n{nao} liga %n %1 e %2")
portuguese_format.kif 403-403
(
format
cz
links
"%3 %n{ne}spojuje %1 a %2")
relations-cz.txt 464-464
(
format
de
links
"%3 verbindet %1 und %2 %n{nicht}")
relations-de.txt 963-963
(
format
hi
links
"%3 %1 aura %2 ko %n{nahiin} jodataa hai")
relations-hindi.txt 204-204
(
format
ro
links
"%3 %n{nu} link%t{leagã} %1 ºi %2")
relations-ro.kif 473-473
(
format
sv
links
"%3 länkar %n{inte} ihop %1 och %2")
relations-sv.txt 516-516
(
format
tg
links
"%3 %n ay ikabit %1 at %2")
relations-tg.txt 329-329
(
termFormat
ChineseLanguage
links
"连接")
chinese_format.kif 748-748
(
termFormat
ChineseLanguage
links
"链接")
domainEnglishFormat.kif 34559-34559
(
termFormat
ChineseTraditionalLanguage
links
"鏈接")
domainEnglishFormat.kif 34558-34558
(
termFormat
EnglishLanguage
links
"links")
domainEnglishFormat.kif 34557-34557
(
termFormat
tg
links
"ikabit")
relations-tg.txt 330-330
antecedent
(=>
(
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
(=>
(
links
?NODE ?NODE ?LOOP)
(
instance
?LOOP
GraphLoop
))
Merge.kif 5862-5864
如果
图弧
links
图节点
和
那个 图节点
,
然后
那个 图弧
是
图环路
的
instance
(=>
(
links
?NODE1 ?NODE2 ?ARC)
(
links
?NODE2 ?NODE1 ?ARC))
Merge.kif 5880-5882
如果
图弧
links
图节点
和
另一个 图节点
,
然后
那个 图弧
links
那个 另外 图节点
和
那个 图节点
consequent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2870-2876
如果
客体
connects
另一个 客体
和
第三 客体
和
那个 另外 客体
的
abstract
counterpart
是
图节点
和
那个 第三 客体
的
abstract
counterpart
是
另一个 图节点
和
那个 客体
的
abstract
counterpart
是
那个 客体
RC ,
然后
那个 客体
RC
links
那个 图节点
和
那个 另外 图节点
(=>
(
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
那个 图节点
(=>
(
instance
?ARC
GraphArc
)
(
exists
(?NODE1 ?NODE2)
(
links
?NODE1 ?NODE2 ?ARC)))
Merge.kif 5847-5850
如果
图弧
是
图弧
的
instance
,
然后 有存在
图节点
和
另一个 图节点
这样
那个 图弧
links
那个 图节点
和
那个 另外 图节点
(=>
(
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
?LOOP
GraphLoop
)
(
exists
(?NODE)
(
links
?NODE ?NODE ?LOOP)))
Merge.kif 5857-5860
如果
图弧
是
图环路
的
instance
,
然后 有存在
图节点
这样
那个 图弧
links
那个 图节点
和
那个 图节点
(=>
(
instance
?NODE
GraphNode
)
(
exists
(?OTHER ?ARC)
(
links
?NODE ?OTHER ?ARC)))
Merge.kif 5837-5840
如果
图节点
是
图节点
的
instance
,
然后 有存在
另一个 图节点
和
图弧
这样
那个 图弧
links
那个 图节点
和
那个 另外 图节点
(=>
(
links
?NODE1 ?NODE2 ?ARC)
(
links
?NODE2 ?NODE1 ?ARC))
Merge.kif 5880-5882
如果
图弧
links
图节点
和
另一个 图节点
,
然后
那个 图弧
links
那个 另外 图节点
和
那个 图节点
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