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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 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 3802-3804
(externalImage TransitwayJunction "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ Stackedjunction.jpeg") pictureList.kif 1273-1273
(subclass TransitwayJunction Transitway) Transportation.kif 3798-3798 TransitwayJunction は Transitway の subclass では

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


(names "intersection" TransitwayJunction) Transportation.kif 3799-3799 TransitwayJunction は "intersection" の &ames$"name" を 持って
(names "junction" TransitwayJunction) Transportation.kif 3800-3800 TransitwayJunction は "junction" の &ames$"name" を 持って
(subclass RailJunction TransitwayJunction) Transportation.kif 3869-3869 RailJunction は TransitwayJunction の subclass では
(subclass RoadJunction TransitwayJunction) Transportation.kif 3861-3861 RoadJunction は TransitwayJunction の subclass では
(subclass WaterJunction TransitwayJunction) Transportation.kif 3872-3872 WaterJunction は TransitwayJunction の subclass では
(termFormat ChineseLanguage TransitwayJunction "临时路口") domainEnglishFormat.kif 58906-58906 WaterJunction は TransitwayJunction の subclass では
(termFormat ChineseTraditionalLanguage TransitwayJunction "臨時路口") domainEnglishFormat.kif 58905-58905 WaterJunction は TransitwayJunction の subclass では
(termFormat EnglishLanguage TransitwayJunction "transitway junction") domainEnglishFormat.kif 58904-58904 WaterJunction は TransitwayJunction の subclass では

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 3820-3840
(=>
    (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 3806-3818
(=>
    (instance ?J TransitwayJunction)
    (exists (?W1 ?W2)
        (and
            (instance ?W1 Transitway)
            (instance ?W2 Transitway)
            (connects ?J ?W1 ?W2)
            (not
                (equal ?W1 ?W2)))))		 Transportation.kif 3851-3859

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


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


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