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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transitway
Transitway(transitway)
Belmont, Belmont_Park, access, approach, beeline, bend, celestial_orbit, course, crosscut, curve, cutoff, feeder_line, flyway, geosynchronous_orbit, itinerary, line_of_fire, main_line, migration_route, orbit, passage, path, route, shortcut, supply_line, supply_route, track, trade_route, way

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


(documentation Transitway ChineseLanguage "Transitway 是在 Translocation 实例中,可能以 一条 path 通过范围最笼统的类别。Transitway 包括海陆空三个地区,而且它同时包括自然和人工交通工具。") chinese_format.kif 3355-3356
(documentation Transitway EnglishLanguage "Transitway is the broadest class of regions which may be passed through as a path in instances of Translocation. Transitway includes land, air, and sea regions, and it includes both natural and artificial transitways.") Merge.kif 14036-14039
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ PlanMetroNY2.png") pictureList.kif 12058-12058
(externalImage Transitway "http://upload.wikimedia.org/wikipedia/en/9/97/ Sydney_Tway_Network.png") pictureList.kif 10314-10314
(subclass Transitway Region) Merge.kif 14034-14034 Transitway is a subclass of region
(subclass Transitway SelfConnectedObject) Merge.kif 14035-14035 Transitway is a subclass of self connected object

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


(subclass AirTransitway Transitway) Transportation.kif 1247-1247 Air transitway is a subclass of transitway
(subclass Airway Transitway) Mid-level-ontology.kif 11253-11253 Airway is a subclass of transitway
(subclass LandTransitway Transitway) Merge.kif 14041-14041 Land transitway is a subclass of transitway
(subclass Pipeline Transitway) Transportation.kif 773-773 Pipeline is a subclass of transitway
(subclass TransitwayJunction Transitway) Transportation.kif 2961-2961 Transitway junction is a subclass of transitway
(subclass Waterway Transitway) Geography.kif 5474-5474 Waterway is a subclass of transitway
(termFormat ChineseLanguage Transitway "公交专用道") domainEnglishFormat.kif 58871-58871
(termFormat ChineseTraditionalLanguage Transitway "公交專用道") domainEnglishFormat.kif 58870-58870
(termFormat EnglishLanguage Transitway "transitway") domainEnglishFormat.kif 58869-58869

appearance as argument number 3
-------------------------


(domain TransitFn 1 Transitway) Transportation.kif 1603-1603 The number 1 argument of transit is an instance of transitway
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 23833-23833 The number 2 argument of distanceOnPath is an instance of transitway
(domain pathInSystem 1 Transitway) Transportation.kif 2722-2722 The number 1 argument of path in system is an instance of transitway
(domain routeBetween 1 Transitway) Transportation.kif 2902-2902 The number 1 argument of route between is an instance of transitway
(domain routeInSystem 1 Transitway) Transportation.kif 2742-2742 The number 1 argument of route in system is an instance of transitway
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3034-3034 The number 1 argument of transitway capacity count is an instance of transitway
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3044-3044 The number 1 argument of transitway capacity rate is an instance of transitway

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


(=>
    (and
        (instance ?GOING
            (TransitFn ?WAY))
        (instance ?WAY Transitway))
    (path ?GOING ?WAY))
Transportation.kif 1609-1613
(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?T Transitway)
        (abstractCounterpart ?G ?TS)
        (systemPart ?T ?TS))
    (exists (?GA)
        (and
            (instance ?GA GraphArc)
            (abstractCounterpart ?GA ?T)
            (graphPart ?GA ?G))))
Transportation.kif 2845-2855
(=>
    (instance ?WAY Transitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Transportation)
                (path ?TRANSPORT ?WAY)))))
Merge.kif 14046-14052

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


(=>
    (and
        (instance ?SYSTEM TransitSystem)
        (systemPart ?PART ?SYSTEM))
    (instance ?PART Transitway))
Transportation.kif 2879-2883
(=>
    (instance ?SYSTEM TransitSystem)
    (exists (?ROUTE)
        (and
            (instance ?ROUTE Transitway)
            (part ?ROUTE ?SYSTEM))))
Transportation.kif 2831-2836
(=>
    (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 2782-2796
(=>
    (routeStart ?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 2759-2773


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