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
Il numero 1 argomenti di
links
è un
istanza
di
NodoDelGrafo
(
domain
links
2
GraphNode
)
Merge.kif 5874-5874
Il numero 2 argomenti di
links
è un
istanza
di
NodoDelGrafo
(
domain
links
3
GraphArc
)
Merge.kif 5875-5875
Il numero 3 argomenti di
links
è un
istanza
di
arco del grafo
(
instance
links
TernaryPredicate
)
Merge.kif 5872-5872
links
è un'
istanza
di
PredicatoTernario
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
Arco del grafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
is
uguale
a
arco del grafo
Grafo
è un'
istanza
di
MultiGrafo
(=>
(
links
?NODE ?NODE ?LOOP)
(
instance
?LOOP
GraphLoop
))
Merge.kif 5862-5864
Arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
è un'
istanza
di
grafo ciclico
(=>
(
links
?NODE1 ?NODE2 ?ARC)
(
links
?NODE2 ?NODE1 ?ARC))
Merge.kif 5880-5882
Arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
consequent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2870-2876
Oggetto
connette
Oggetto
e
Oggetto
abstractCounterpart
NodoDelGrafo
and
Oggetto
abstractCounterpart
NodoDelGrafo
and
Oggetto
abstractCounterpart
Oggetto
RC and
Oggetto
Oggetto
RC
lega
s
NodoDelGrafo
e
NodoDelGrafo
(=>
(
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
Grafo
è un'
istanza
di
Grafo
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
is
uguale
a
NodoDelGrafo
arco del grafo
CamminoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
CamminoDelGrafo
è un
sottografo
di
Grafo
CamminoDelGrafo
è un'
istanza
di
CamminoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
l'
inizio
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
la
fine
di
CamminoDelGrafo
is
uguale
a
NodoDelGrafo
(=>
(
instance
?ARC
GraphArc
)
(
exists
(?NODE1 ?NODE2)
(
links
?NODE1 ?NODE2 ?ARC)))
Merge.kif 5847-5850
Arco del grafo
è un'
istanza
di
arco del grafo
NodoDelGrafo
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
(=>
(
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
Grafo
è un'
istanza
di
Grafo
NodoDelGrafo
NodoDelGrafo
,
NodoDelGrafo
,
arco del grafo
and
arco del grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
NodoDelGrafo
is
uguale
a
NodoDelGrafo
NodoDelGrafo
is
uguale
a
NodoDelGrafo
NodoDelGrafo
is
uguale
a
NodoDelGrafo
arco del grafo
is
uguale
a
arco del grafo
(=>
(
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
Grafo
è un'
istanza
di
MultiGrafo
arco del grafo
arco del grafo
,
NodoDelGrafo
and
NodoDelGrafo
arco del grafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
NodoDelGrafo
è una
parte
di
Grafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
is
uguale
a
arco del grafo
(=>
(
instance
?LOOP
GraphLoop
)
(
exists
(?NODE)
(
links
?NODE ?NODE ?LOOP)))
Merge.kif 5857-5860
Arco del grafo
è un'
istanza
di
grafo ciclico
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
(=>
(
instance
?NODE
GraphNode
)
(
exists
(?OTHER ?ARC)
(
links
?NODE ?OTHER ?ARC)))
Merge.kif 5837-5840
NodoDelGrafo
è un'
istanza
di
NodoDelGrafo
NodoDelGrafo
arco del grafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
(=>
(
links
?NODE1 ?NODE2 ?ARC)
(
links
?NODE2 ?NODE1 ?ARC))
Merge.kif 5880-5882
Arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
arco del grafo
lega
s
NodoDelGrafo
e
NodoDelGrafo
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