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

Formal Language: 


KB Term:  Term intersection
English Word: 

  TransitwayJunction

Sigma KEE - TransitwayJunction
TransitwayJunction

appearance as argument number 1
-------------------------


(documentation TransitwayJunction EnglishLanguage "TransitwayJunction is the class of regions where two or more Transitways meet and traffic may transfer from one transitway to another.") Transportation.kif 3804-3806
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg") pictureList.kif 1273-1273
(subclass TransitwayJunction Transitway) Transportation.kif 3800-3800 TransitwayJunction est une sous-classe de Transitway

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


(names "intersection" TransitwayJunction) Transportation.kif 3801-3801 TransitwayJunction s'appele &ames$"nom" "intersection"
(names "junction" TransitwayJunction) Transportation.kif 3802-3802 TransitwayJunction s'appele &ames$"nom" "junction"
(subclass RailJunction TransitwayJunction) Transportation.kif 3871-3871 RailJunction est une sous-classe de TransitwayJunction
(subclass RoadJunction TransitwayJunction) Transportation.kif 3863-3863 RoadJunction est une sous-classe de TransitwayJunction
(subclass WaterJunction TransitwayJunction) Transportation.kif 3874-3874 WaterJunction est une sous-classe de TransitwayJunction
(termFormat ChineseLanguage TransitwayJunction "临时路口") domainEnglishFormat.kif 58906-58906 WaterJunction est une sous-classe de TransitwayJunction
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口") domainEnglishFormat.kif 58905-58905 WaterJunction est une sous-classe de TransitwayJunction
(termFormat EnglishLanguage TransitwayJunction "transitway junction") domainEnglishFormat.kif 58904-58904 WaterJunction est une sous-classe de TransitwayJunction

antecedent
-------------------------


(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))
Transportation.kif 3822-3842
(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?TJ TransitwayJunction)
        (abstractCounterpart ?G ?TS)
        (systemPart ?TJ ?TS))
    (exists (?GN)
        (and
            (instance ?GN GraphNode)
            (abstractCounterpart ?GN ?TJ)
            (graphPart ?GN ?G))))
Transportation.kif 3456-3466
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?A ?B ?W2 ?X ?Y)
        (and
            (instance ?W1 Transitway)
            (routeBetween ?W1 ?A ?B)
            (instance ?W2 Transitway)
            (routeBetween ?W2 ?X ?Y)
            (not
                (equal ?W1 ?W2))
            (betweenOnPath ?A ?J ?B ?W1)
            (betweenOnPath ?X ?J ?Y ?W2)
            (connects ?J ?W1 ?W2))))
Transportation.kif 3808-3820
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?W2)
        (and
            (instance ?W1 Transitway)
            (instance ?W2 Transitway)
            (connects ?J ?W1 ?W2)
            (not
                (equal ?W1 ?W2)))))
Transportation.kif 3853-3861

consequent
-------------------------


(=>
    (and
        (instance ?R1 Transitway)
        (instance ?R2 Transitway)
        (not
            (equal ?R1 ?R2))
        (connects ?J ?R1 ?R2))
    (instance ?J TransitwayJunction))
Transportation.kif 3844-3851


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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