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 and
GraphNode
(
domain
links
2
GraphNode
)
Merge.kif 5874-5874
域
鏈接
, 2 and
GraphNode
(
domain
links
3
GraphArc
)
Merge.kif 5875-5875
域
鏈接
, 3 and
GraphArc
(
instance
links
TernaryPredicate
)
Merge.kif 5872-5872
例
鏈接
and
TernaryPredicate
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
圖形部分
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
(=>
(
links
?NODE ?NODE ?LOOP)
(
instance
?LOOP
GraphLoop
))
Merge.kif 5862-5864
鏈接
GraphNode
,
GraphNode
and
GraphArc
例
GraphArc
and
GraphLoop
(=>
(
links
?NODE1 ?NODE2 ?ARC)
(
links
?NODE2 ?NODE1 ?ARC))
Merge.kif 5880-5882
鏈接
GraphNode
,
GraphNode
and
GraphArc
鏈接
GraphNode
,
GraphNode
and
GraphArc
consequent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2870-2876
連接
Object
,
Object
and
Object
Object
的
abstract
counterpart
是
GraphNode
Object
的
abstract
counterpart
是
GraphNode
Object
的
abstract
counterpart
是
Object
RC
鏈接
GraphNode
,
GraphNode
and
Object
RC
(=>
(
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
(=>
(
instance
?ARC
GraphArc
)
(
exists
(?NODE1 ?NODE2)
(
links
?NODE1 ?NODE2 ?ARC)))
Merge.kif 5847-5850
例
GraphArc
and
GraphArc
GraphNode
GraphNode
鏈接
GraphNode
,
GraphNode
and
GraphArc
(=>
(
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
?LOOP
GraphLoop
)
(
exists
(?NODE)
(
links
?NODE ?NODE ?LOOP)))
Merge.kif 5857-5860
例
GraphArc
and
GraphLoop
GraphNode
鏈接
GraphNode
,
GraphNode
and
GraphArc
(=>
(
instance
?NODE
GraphNode
)
(
exists
(?OTHER ?ARC)
(
links
?NODE ?OTHER ?ARC)))
Merge.kif 5837-5840
例
GraphNode
and
GraphNode
GraphNode
GraphArc
鏈接
GraphNode
,
GraphNode
and
GraphArc
(=>
(
links
?NODE1 ?NODE2 ?ARC)
(
links
?NODE2 ?NODE1 ?ARC))
Merge.kif 5880-5882
鏈接
GraphNode
,
GraphNode
and
GraphArc
鏈接
GraphNode
,
GraphNode
and
GraphArc
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