Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
BeginNodeFn
Sigma KEE - BeginNodeFn
BeginNodeFn
appearance as argument number 1
(
documentation
BeginNodeFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
GraphPath
联系到
GraphPath
开端的
GraphNode
。注:跟
InitialNodeFn
不同 (把一个
GraphArc
和一个
GraphNode
联系),
BeginNodeFn
是一个总体的函数 - 每个
GraphPath
都有它的开端。")
chinese_format.kif 2362-2364
(
documentation
BeginNodeFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphPath
to the
GraphNode
that is the beginning of the
GraphPath
. Note that, unlike
InitialNodeFn
(which relates a
GraphArc
to a
GraphNode
),
BeginNodeFn
is a total function - every
GraphPath
has a beginning.")
Merge.kif 5850-5853
(
domain
BeginNodeFn
1
GraphPath
)
Merge.kif 5846-5846
节点开端函数
的 1 数量 是
图路径
的
instance
(
instance
BeginNodeFn
TotalValuedRelation
)
Merge.kif 5845-5845
节点开端函数
是
总值关系
的
instance
(
instance
BeginNodeFn
UnaryFunction
)
Merge.kif 5844-5844
节点开端函数
是
一元函数
的
instance
(
range
BeginNodeFn
GraphNode
)
Merge.kif 5847-5847
节点开端函数
的
range
是
图节点
的实例
(
relatedInternalConcept
BeginNodeFn
InitialNodeFn
)
Merge.kif 5848-5848
节点开端函数
和
节点起点函数
是 内部相关
appearance as argument number 2
(
format
ChineseLanguage
BeginNodeFn
"%1 的开端")
chinese_format.kif 765-765
(
format
EnglishLanguage
BeginNodeFn
"the beginning of %1")
english_format.kif 765-765
(
termFormat
ChineseLanguage
BeginNodeFn
"开始节点")
domainEnglishFormat.kif 10580-10580
(
termFormat
ChineseLanguage
BeginNodeFn
"节点开端函数")
chinese_format.kif 766-766
(
termFormat
ChineseTraditionalLanguage
BeginNodeFn
"開始節點")
domainEnglishFormat.kif 10579-10579
(
termFormat
EnglishLanguage
BeginNodeFn
"begin node")
domainEnglishFormat.kif 10578-10578
antecedent
(=>
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))
(
instance
?GRAPH
GraphCircuit
))
Merge.kif 5669-5673
如果
图路径
的开端
equal
图节点
和
那个 图路径
的末端
equal
那个 图节点
,
然后
那个 图路径
是
图回路
的
instance
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 2813-2826
如果
公交专用道
的
distance
是
恒量
和
运输系统
是
那个 公交专用道
在系统里的
path
和
地区
是
那个 公交专用道
的
start
和
另一个 地区
是
那个 公交专用道
的
end
和
那个 运输系统
的
abstract
counterpart
是
图路径
,
然后 有存在
图
,
图节点
, and 和
另一个 图节点
这样
那个 图
是
那个 图路径
的
subGraph
和
那个 图节点
equal
那个 图路径
的开端 和
那个 另外 图节点
equal
那个 图路径
的末端 和
那个 地区
的
abstract
counterpart
是
那个 图节点
和
那个 另外 地区
的
abstract
counterpart
是
那个 另外 图节点
(=>
(
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 5536-5556
如果
图
是
图
的
instance
和
图节点
是
图节点
的
instance
和
另一个 图节点
是
图节点
的
instance
和
那个 图节点
是
那个 图
的
part
和
那个 另外 图节点
是
那个 图
的
part
和
那个 图节点
不
equal
那个 另外 图节点
,
然后 有存在
图弧
和
图路径
这样
那个 图弧
links
那个 图节点
和
那个 另外 图节点
或
那个 图路径
是
那个 图
的
subGraph
和
那个 图路径
是
图路径
的
instance
和
那个 图路径
的开端
equal
那个 图节点
和
那个 图路径
的末端
equal
那个 另外 图节点
或
那个 图路径
的开端
equal
那个 另外 图节点
和
那个 图路径
的末端
equal
那个 图节点
(=>
(
instance
?GRAPH
GraphCircuit
)
(
exists
(?NODE)
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))))
Merge.kif 5662-5667
如果
图路径
是
图回路
的
instance
,
然后 有存在
图节点
这样
那个 图路径
的开端
equal
那个 图节点
和
那个 图路径
的末端
equal
那个 图节点
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