TreeView Knowledge Base Browser - routeStart

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - routeStart

routeStart

appearance as argument number 1

(documentation routeStart EnglishLanguage "(routeStart ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.")	Transportation.kif 2756-2758
(domain routeStart 1 Region)	Transportation.kif 2754-2754	routeStart の数値 1 引数は地域の instance では %n
(domain routeStart 2 TransitSystem)	Transportation.kif 2755-2755	routeStart の数値 2 引数は TransitSystem の instance では %n
(instance routeStart BinaryPredicate)	Transportation.kif 2753-2753	routeStart は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage routeStart "%1 是 %2 的 start ")	domainEnglishFormat.kif 4458-4458
(format ChineseTraditionalLanguage routeStart "%1 是 %2 的 start ")	domainEnglishFormat.kif 4457-4457
(format EnglishLanguage routeStart "%1 is the start of %2")	domainEnglishFormat.kif 4456-4456
(termFormat EnglishLanguage routeStart "route start")	domainEnglishFormat.kif 65930-65930

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 地域
(=> (routeStart ?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 2760-2774	routeStart 地域 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