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
Autonomous
Sigma KEE - graphMeasure
graphMeasure
appearance as argument number 1
(
documentation
graphMeasure
ChineseLanguage
"(graphMeasure ?GRAPH ?MEAS)给一个
Graph
的
arcWeight
设定一个
UnitOfMeasure
。说明这个关系意味着某个图的元件,是
Physical
Entity
集合里 的
abstractCounterpart
。")
chinese_format.kif 2391-2393
(
documentation
graphMeasure
EnglishLanguage
"(graphMeasure ?GRAPH ?MEAS) fixes a
UnitOfMeasure
that is used for the
arcWeight
of a given
Graph
. Stating such a relationship entails that the components of given graph are the
abstractCounterpart
s of sets of
Physical
Entity
(ies).")
Merge.kif 6153-6156
(
documentation
graphMeasure
JapaneseLanguage
"(graphMeasure ?GRAPH ?MEAS) は、特定の
Graph
の
arcWeight
に使用される
UnitOfMeasure
を修正する。このような関係を示すには、特定のグラフの 構成要素が
Physical
Entity
のセットの
abstractCounterpart
であることを伴う。")
japanese_format.kif 1071-1073
(
domain
graphMeasure
1
Graph
)
Merge.kif 6150-6150
Die Zahl 1 Argument von
graphMeasure
ist ein
fall
von
Graph
%n{nicht}
(
domain
graphMeasure
2
UnitOfMeasure
)
Merge.kif 6151-6151
Die Zahl 2 Argument von
graphMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht}
(
instance
graphMeasure
BinaryPredicate
)
Merge.kif 6149-6149
graphMeasure
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
graphMeasure
"%2 是 unit 在 %1 ")
domainEnglishFormat.kif 3546-3546
(
format
ChineseTraditionalLanguage
graphMeasure
"%2 是 unit 在 %1 ")
domainEnglishFormat.kif 3545-3545
(
format
EnglishLanguage
graphMeasure
"%2 is the unit in %1")
domainEnglishFormat.kif 3544-3544
(
termFormat
EnglishLanguage
graphMeasure
"graph measure")
domainEnglishFormat.kif 65840-65840
antecedent
(=>
(
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 6166-6177
Wenn
graphMeasure
Graph
and
UnitOfMeasure
und
GraphElement
ist ein
fall
von
GraphNode
%n{nicht} und
** GraphElement
ist ein
teil
von
** Graph
%n{nicht} und
GraphArc
ist ein
teil
von
** Graph
%n{nicht} und
** GraphArc
ist ein
fall
von
GraphArc
%n{nicht} und
abstractCounterpart
** GraphElement
and
Physical
und
abstractCounterpart
** GraphArc
and
** Physical
und der
wert
von
** GraphArc
ist
RealNumber
,
dann das
mass
von
** ** Physical
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6158-6164
Wenn
graphMeasure
Graph
and
UnitOfMeasure
,
dann fuer alle
GraphElement
** GraphElement
ist ein
teil
von
** Graph
%n{nicht} und es gibt
Physical
um
abstractCounterpart
** GraphElement
and
** Physical
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