TreeView Knowledge Base Browser - routeEnd

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - routeEnd

routeEnd

appearance as argument number 1

(documentation routeEnd EnglishLanguage "(routeEnd ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.")	Transportation.kif 2779-2781
(domain routeEnd 1 Region)	Transportation.kif 2777-2777	routeEnd の数値 1 引数は地域の instance では %n
(domain routeEnd 2 TransitSystem)	Transportation.kif 2778-2778	routeEnd の数値 2 引数は TransitSystem の instance では %n
(instance routeEnd BinaryPredicate)	Transportation.kif 2776-2776	routeEnd は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage routeEnd "%1 是 %2 的 end ")	domainEnglishFormat.kif 4454-4454
(format ChineseTraditionalLanguage routeEnd "%1 是 %2 的 end ")	domainEnglishFormat.kif 4453-4453
(format EnglishLanguage routeEnd "%1 is the end of %2")	domainEnglishFormat.kif 4452-4452
(termFormat EnglishLanguage routeEnd "route end")	domainEnglishFormat.kif 65929-65929

antecedent

(=> (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 一定量 and Transitway pathInSystem Transitway and TransitSystem routeStart 地域 and Transitway routeEnd 地域 and Transitway abstractCounterpart グラフパス and TransitSystem グラフグラフノード and グラフノードグラフはグラフパスの subgraph では %n グラフノードはグラフパスの beginning と equal では %n グラフノードはグラフパスの end と equal では %n abstractCounterpart グラフノード and 地域 abstractCounterpart グラフノード and 地域
(=> (routeEnd ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2))))))))	Transportation.kif 2783-2797	routeEnd 地域 and TransitSystem オブジェクトオブジェクトは Transitway の instance では %n 地域はオブジェクトと connected して systemPart オブジェクト and TransitSystem オブジェクト2 オブジェクト2 は Transitway の instance では %n 地域はオブジェクト2 と connected して systemPart オブジェクト2 and TransitSystem オブジェクトはオブジェクト2 と 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