Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - routeEnd
routeEnd

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 The number 1 argument of routeEnd is an instance of region
(domain routeEnd 2 TransitSystem) Transportation.kif 2785-2785 The number 2 argument of routeEnd is an instance of transit system
(instance routeEnd BinaryPredicate) Transportation.kif 2783-2783 routeEnd is an instance of binary predicate

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