| appearance as argument number 1 |
|
| (documentation routeEnd EnglishLanguage "(routeEnd ?REGION ?SYSTEM) means that within the given ?SYSTEM the given ?REGION is connected to only one other Region.") | Transportation.kif 2786-2788 | |
| (domain routeEnd 1 Region) | Transportation.kif 2784-2784 | routeEnd 的 1 数量 是 地区 的 instance |
| (domain routeEnd 2 TransitSystem) | Transportation.kif 2785-2785 | routeEnd 的 2 数量 是 运输系统 的 instance |
| (instance routeEnd BinaryPredicate) | Transportation.kif 2783-2783 | routeEnd 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage routeEnd "%1 是 %2 的 end ") | domainEnglishFormat.kif 4463-4463 | |
| (format ChineseTraditionalLanguage routeEnd "%1 是 %2 的 end ") | domainEnglishFormat.kif 4462-4462 | |
| (format EnglishLanguage routeEnd "%1 is the end of %2") | domainEnglishFormat.kif 4461-4461 |
| 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 |
|
| (=> (routeEnd ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2)))))))) |
Transportation.kif 2790-2804 |
|
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