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
TerminalNodeFn
Sigma KEE - TerminalNodeFn
TerminalNodeFn
appearance as argument number 1
(
documentation
TerminalNodeFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
GraphArc
和这个
GraphArc
的终点联系起来。 注:这是一个部分函数,特别是当
GraphArc
不属于
DirectedGraph
时,这会是个为定义的函数。")
chinese_format.kif 2359-2361
(
documentation
TerminalNodeFn
EnglishLanguage
"A
UnaryFunction
that maps a
GraphArc
to the terminal node of the
GraphArc
. Note that this is a partial function. In particular, the function is undefined for
GraphArc
s that are not part of a
DirectedGraph
.")
Merge.kif 5902-5905
(
domain
TerminalNodeFn
1
GraphArc
)
Merge.kif 5899-5899
(
instance
TerminalNodeFn
PartialValuedRelation
)
Merge.kif 5898-5898
(
instance
TerminalNodeFn
UnaryFunction
)
Merge.kif 5897-5897
(
range
TerminalNodeFn
GraphNode
)
Merge.kif 5900-5900
appearance as argument number 2
(
format
ChineseLanguage
TerminalNodeFn
"%1 节点的终点")
chinese_format.kif 763-763
(
format
EnglishLanguage
TerminalNodeFn
"the terminal node of %1")
english_format.kif 763-763
(
relatedInternalConcept
EndNodeFn
TerminalNodeFn
)
Merge.kif 5922-5922
(
termFormat
ChineseLanguage
TerminalNodeFn
"终端节点")
domainEnglishFormat.kif 57524-57524
(
termFormat
ChineseLanguage
TerminalNodeFn
"节点终点函数")
chinese_format.kif 764-764
(
termFormat
ChineseTraditionalLanguage
TerminalNodeFn
"終端節點")
domainEnglishFormat.kif 57523-57523
(
termFormat
EnglishLanguage
TerminalNodeFn
"terminal node")
domainEnglishFormat.kif 57522-57522
antecedent
(=>
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
instance
?ARC
GraphLoop
))
Merge.kif 5833-5837
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
TerminalNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5706-5717
consequent
(=>
(
and
(
instance
?GRAPH
DirectedGraph
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH))
(
exists
(?NODE1 ?NODE2)
(
and
(
equal
(
InitialNodeFn
?ARC) ?NODE1)
(
equal
(
TerminalNodeFn
?ARC) ?NODE2))))
Merge.kif 5642-5650
(=>
(
and
(
instance
?GRAPH
GraphPath
)
(
instance
?ARC
GraphArc
)
(
graphPart
?ARC ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC) ?NODE))
(
not
(
exists
(?OTHER)
(
and
(
equal
(
TerminalNodeFn
?OTHER) ?NODE)
(
not
(
equal
?OTHER ?ARC))))))
Merge.kif 5706-5717
(=>
(
instance
?GRAPH
Tree
)
(
not
(
exists
(?ARC1 ?ARC2 ?NODE)
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE ?GRAPH)
(
equal
(
TerminalNodeFn
?ARC1) ?NODE)
(
equal
(
TerminalNodeFn
?ARC2) ?NODE)
(
not
(
equal
?ARC1 ?ARC2))))))
Merge.kif 5673-5683
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