| 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 23566-23568 | |
| (domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 23569-23569 | |
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 23570-23570 | |
| (instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 23565-23565 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3283-3283 | |
| (format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") | domainEnglishFormat.kif 3282-3282 | |
| (format EnglishLanguage distanceOnPath "the distance of %2 is %1") | domainEnglishFormat.kif 3281-3281 |
| 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 2813-2826 | |
| (=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn Mile ?N) ?P)) (equal ?N 13.1)) |
Sports.kif 260-267 | |
| (=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn Mile ?N) ?P)) (equal ?N 26.2)) |
Sports.kif 246-253 | |
| (=> (distanceOnPath ?DIST ?PATH) (exists (?GP) (and (instance ?GP GraphPath) (abstractCounterpart ?GP ?PATH)))) |
Transportation.kif 2806-2811 |
|
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