TreeView Knowledge Base Browser - distanceOnPath

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - distanceOnPath

distanceOnPath

appearance as argument number 1

(documentation distanceOnPath EnglishLanguage "(distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST.")	Mid-level-ontology.kif 24359-24361
(domain distanceOnPath 1 ConstantQuantity)	Mid-level-ontology.kif 24362-24362	distanceOnPath の数値 1 引数は一定量の instance では %n
(domain distanceOnPath 2 Transitway)	Mid-level-ontology.kif 24363-24363	distanceOnPath の数値 2 引数は Transitway の instance では %n
(instance distanceOnPath BinaryPredicate)	Mid-level-ontology.kif 24358-24358	distanceOnPath は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ")	domainEnglishFormat.kif 3278-3278
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ")	domainEnglishFormat.kif 3277-3277
(format EnglishLanguage distanceOnPath "the distance of %2 is %1")	domainEnglishFormat.kif 3276-3276
(termFormat EnglishLanguage distanceOnPath "distance on path")	domainEnglishFormat.kif 65814-65814

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 地域
(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1))	Sports.kif 295-302	Motion は HalfMarathon の instance では %n AutonomousAgent は motion の agent では %n Transitway は motion が発生する path では %n distanceOnPath 実数の Mile(s) and Transitway 実数は 13.1 と equal では %n
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2))	Sports.kif 281-288	Motion は Marathon の instance では %n AutonomousAgent は motion の agent では %n Transitway は motion が発生する path では %n distanceOnPath 実数の Mile(s) and Transitway 実数は 26.2 と equal では %n
(=> (distanceOnPath ?DIST ?PATH) (exists (?GP) (and (instance ?GP GraphPath) (abstractCounterpart ?GP ?PATH))))	Transportation.kif 2799-2804	distanceOnPath 一定量 and Transitway 抽象的な抽象的なはグラフパスの instance では %n abstractCounterpart 抽象的な and Transitway

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