pathInSystem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - pathInSystem

pathInSystem

appearance as argument number 1

(documentation pathInSystem EnglishLanguage "(pathInSystem ?PATH ?SYSTEM) means that the Physical thing ?PATH consists of one or more connected routes in the PhysicalSystem ?SYSTEM.")	Transportation.kif 3316-3318
(domain pathInSystem 1 Transitway)	Transportation.kif 3320-3320	The number 1 argument of pathInSystem is an instance of Transitway
(domain pathInSystem 2 TransitSystem)	Transportation.kif 3321-3321	The number 2 argument of pathInSystem is an instance of TransitSystem
(instance pathInSystem BinaryPredicate)	Transportation.kif 3319-3319	pathInSystem is an instance of binary predicate
(subrelation pathInSystem part)	Transportation.kif 3322-3322	pathInSystem is a subrelation of part

appearance as argument number 2

(format ChineseLanguage pathInSystem "%2 %n 是 %1 在系统里的 path ")	domainEnglishFormat.kif 1919-1919
(format ChineseTraditionalLanguage pathInSystem "%2 %n 是 %1 在系統裡的 path ")	domainEnglishFormat.kif 1918-1918
(format EnglishLanguage pathInSystem "%2 is %n a path in system of %1")	domainEnglishFormat.kif 1917-1917
(subrelation routeInSystem pathInSystem)	Transportation.kif 3342-3342	routeInSystem is a subrelation of pathInSystem
(termFormat ChineseLanguage pathInSystem "系统中的路径")	domainEnglishFormat.kif 44779-44779	routeInSystem is a subrelation of pathInSystem
(termFormat ChineseTraditionalLanguage pathInSystem "系統中的路徑")	domainEnglishFormat.kif 44778-44778	routeInSystem is a subrelation of pathInSystem
(termFormat EnglishLanguage pathInSystem "path in system")	domainEnglishFormat.kif 44777-44777	routeInSystem is a subrelation of pathInSystem

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 3403-3416	If distanceOnPath a constant quantity and a Transitway and pathInSystem the Transitway and a TransitSystem and routeStart a region and the Transitway and routeEnd another region and the Transitway and abstractCounterpart a graph path and the TransitSystem, then there exist a graph, a graph node and another graph node such that the graph is a subgraph of the graph path and equal the graph node and the beginning of the graph path and equal the other graph node and the end of the graph path and abstractCounterpart the graph node and the region and abstractCounterpart the other graph node and the other region
(=> (pathInSystem ?P ?S) (or (routeInSystem ?P ?S) (exists (?R1 ?R2) (and (routeInSystem ?R1 ?S) (routeInSystem ?R2 ?S) (part ?R1 ?P) (part ?R2 ?P) (connected ?R1 ?R2)))))	Transportation.kif 3324-3334	If pathInSystem a Transitway and a TransitSystem, then routeInSystem the Transitway and the TransitSystem or there exist another Transitway and a third Transitway such that routeInSystem the other Transitway and the TransitSystem and routeInSystem the third Transitway and the TransitSystem and the other Transitway is a part of the Transitway and the third Transitway is a part of the Transitway and the other Transitway is connected to the third Transitway

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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