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
subGraph
Sigma KEE - subGraph
subGraph
appearance as argument number 1
(
documentation
subGraph
ChineseLanguage
"这是形容两个
Graph
,而其中一个图是另外一个图的一部分时 的关系,(
subGraph
?GRAPH1 ?GRAPH2)的意思是 ?GRAPH1 是 ?GRAPH2 的一部分。")
chinese_format.kif 2351-2352
(
documentation
subGraph
EnglishLanguage
"The relation between two
Graph
s when one
Graph
is a part of the other. (
subGraph
?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.")
Merge.kif 5901-5903
(
documentation
subGraph
JapaneseLanguage
"一方の
Graph
がもう一方の
Graph
の一部である 場合の2つの
Graph
の関係。 (
subGraph
?GRAPH1 ?GRAPH2) とは、?GRAPH1が ?GRAPH2の一部である ことを意味する。")
japanese_format.kif 1027-1029
(
domain
subGraph
1
Graph
)
Merge.kif 5898-5898
Il numero 1 argomenti di
subGraph
è un
istanza
di
Grafo
(
domain
subGraph
2
Graph
)
Merge.kif 5899-5899
Il numero 2 argomenti di
subGraph
è un
istanza
di
Grafo
(
instance
subGraph
BinaryPredicate
)
Merge.kif 5895-5895
subGraph
è un'
istanza
di
PredicatoBinario
(
instance
subGraph
ReflexiveRelation
)
Merge.kif 5896-5896
subGraph
è un'
istanza
di
RelazioneRiflessiva
(
instance
subGraph
TransitiveRelation
)
Merge.kif 5897-5897
subGraph
è un'
istanza
di
RelazioneTransitiva
appearance as argument number 2
(
format
ChineseLanguage
subGraph
"%1 %n 是 %2 的
subGraph
")
chinese_format.kif 751-751
(
format
EnglishLanguage
subGraph
"%1 is %n a subgraph of %2")
english_format.kif 753-753
(
format
FrenchLanguage
subGraph
"%1 est %n un sous-graph de %2")
french_format.kif 453-453
(
format
ItalianLanguage
subGraph
"%1 è %n un sottografo di %2")
relations-it.txt 273-273
(
format
JapaneseLanguage
subGraph
"%1 は %2 の subgraph では %n")
japanese_format.kif 2161-2161
(
format
PortugueseLanguage
subGraph
"%1 e' %n um sub-grafo de %2")
portuguese_format.kif 405-405
(
format
cz
subGraph
"%1 %p{je} %n{nen�} podgrafem %2")
relations-cz.txt 466-466
(
format
de
subGraph
"%1 ist ein teilgraph von %2 %n{nicht}")
relations-de.txt 969-969
(
format
hi
subGraph
"%1 %2 kaa upagraapha %n hai")
relations-hindi.txt 310-310
(
format
ro
subGraph
"%1 %n{nu} este un subgraph%t{subgraf} al lui %2")
relations-ro.kif 475-475
(
format
sv
subGraph
"%1 är %n{inte} en subgraph av %2")
relations-sv.txt 518-518
(
format
tg
subGraph
"%1 %n ay ang talaguhitan mas baba ng %2")
relations-tg.txt 465-465
(
termFormat
ChineseLanguage
subGraph
"子图")
chinese_format.kif 752-752
(
termFormat
ChineseTraditionalLanguage
subGraph
"子圖")
domainEnglishFormat.kif 55727-55727
(
termFormat
EnglishLanguage
subGraph
"sub graph")
domainEnglishFormat.kif 55726-55726
antecedent
(=>
(
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
Il
valore
di
CamminoDelGrafo
is
uguale
a
NumeroReale
CamminoDelGrafo
è un
sottografo
di
CamminoDelGrafo
arco del grafo
è una
parte
di
CamminoDelGrafo
il
valore
di
arco del grafo
è
NumeroReale
ElementoDelGrafo
ElementoDelGrafo
è una
parte
di
CamminoDelGrafo
ElementoDelGrafo
è una
parte
di
CamminoDelGrafo
ElementoDelGrafo
is
uguale
a
arco del grafo
NumeroReale
is
uguale
a (il
valore
di
CamminoDelGrafo
+
NumeroReale
(=>
(
and
(
subGraph
?GRAPH1 ?GRAPH2)
(
graphPart
?ELEMENT ?GRAPH1))
(
graphPart
?ELEMENT ?GRAPH2))
Merge.kif 5905-5909
Grafo
è un
sottografo
di
Grafo
ElementoDelGrafo
è una
parte
di
Grafo
ElementoDelGrafo
è una
parte
di
Grafo
consequent
(=>
(
and
(
distanceOnPath
?DIST ?PATH)
(
pathInSystem
?PATH ?SYS)
(
routeStart
?START ?PATH)
(
routeEnd
?END ?PATH)
(
abstractCounterpart
?GRAPH ?SYS))
(
exists
(?S ?BN ?EN)
(
and
(
subGraph
?S ?GRAPH)
(
equal
?BN
(
BeginNodeFn
?GRAPH))
(
equal
?EN
(
EndNodeFn
?GRAPH))
(
abstractCounterpart
?BN ?START)
(
abstractCounterpart
?EN ?END))))
Transportation.kif 2806-2819
distanceOnPath
Quantit�Costante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
Regione
and
Transitway
routeEnd
Regione
and
Transitway
abstractCounterpart
CamminoDelGrafo
and
TransitSystem
Grafo
NodoDelGrafo
and
NodoDelGrafo
Grafo
è un
sottografo
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a l'
inizio
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a la
fine
di
CamminoDelGrafo
abstractCounterpart
NodoDelGrafo
and
Regione
abstractCounterpart
NodoDelGrafo
and
Regione
(=>
(
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
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