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 3377-3379
(domain routeEnd 1 Region) Transportation.kif 3375-3375 routeEnd の数値 1 引数は 地域 の instance では
(domain routeEnd 2 TransitSystem) Transportation.kif 3376-3376 routeEnd の数値 2 引数は TransitSystem の instance では
(instance routeEnd BinaryPredicate) Transportation.kif 3374-3374 routeEnd は 2進述語 の instance では

appearance as argument number 2
-------------------------


(format ChineseLanguage routeEnd "%1 是 %2 的 end ") domainEnglishFormat.kif 4458-4458
(format ChineseTraditionalLanguage routeEnd "%1 是 %2 的 end ") domainEnglishFormat.kif 4457-4457
(format EnglishLanguage routeEnd "%1 is the end of %2") domainEnglishFormat.kif 4456-4456
(termFormat EnglishLanguage routeEnd "route end") domainEnglishFormat.kif 65954-65954

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 3404-3417
(=>
    (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 3381-3395


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