| 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 23736-23738 | |
| (domain distanceOnPath 1 ConstantQuantity) | Mid-level-ontology.kif 23739-23739 | |
| (domain distanceOnPath 2 Transitway) | Mid-level-ontology.kif 23740-23740 | |
| (instance distanceOnPath BinaryPredicate) | Mid-level-ontology.kif 23735-23735 |
| 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 ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 260-267 | |
| (=> (and (instance ?M Marathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?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