distanceOnPath - Sigma Knowledge base Browser

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 24416-24418
(domain distanceOnPath 1 ConstantQuantity)	Mid-level-ontology.kif 24419-24419	The number 1 argument of distance on path is an instance of constant quantity
(domain distanceOnPath 2 Transitway)	Mid-level-ontology.kif 24420-24420	The number 2 argument of distance on path is an instance of transitway
(instance distanceOnPath BinaryPredicate)	Mid-level-ontology.kif 24415-24415	distance on path is an instance of binary predicate

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 65816-65816

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 2839-2852	If the distance of a transitway is a constant quantity and a transit system is a path in system of the transitway and a region is the start of the transitway and another region is the end of the transitway and the abstract counterpart of the transit system is a graph path, then there exist a graph, a graph node and another graph node such that the graph is a subgraph of the graph path and the graph node is equal to the beginning of the graph path and the other graph node is equal to the end of the graph path and the abstract counterpart of the region is the graph node and the abstract counterpart of the other region is the other graph node
(=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1))	Sports.kif 295-302	If a motion is an instance of half-marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 13.1
(=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 26.2))	Sports.kif 281-288	If a motion is an instance of marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 26.2
(=> (distanceOnPath ?DIST ?PATH) (exists (?GP) (and (instance ?GP GraphPath) (abstractCounterpart ?GP ?PATH))))	Transportation.kif 2832-2837	If the distance of a transitway is a constant quantity, then there exists an abstract such that the abstract is an instance of graph path and the abstract counterpart of the transitway is the abstract

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