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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Roadway
Roadway

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


(documentation Roadway ChineseLanguage "Roadway 是 LandTransitway 的子类别，它是专为设有 自备电源、有轮胎，却不在轨道上运行的车辆在地面运行的地带。Roadway 起码要作稍微改善才能让车辆通过。 Roadway 包括泥路、砾石铺成的路、水泥或柏油路铺成的路和高速公路。") chinese_format.kif 3359-3361
(documentation Roadway EnglishLanguage "Roadway is the subclass of LandTransitways that are areas intended for surface travel by self-powered, wheeled vehicles, excluding those that travel on tracks. Roadways have been at least minimally improved to enable the passage of vehicles. Roadways include dirt and gravelled roads, paved streets, and expressways.") Merge.kif 14438-14443
(externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg") pictureList.kif 183-183
(subclass Roadway LandTransitway) Merge.kif 14437-14437 Roadway est une sous-classe de LandTransitway

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


(subclass Driveway Roadway) Mid-level-ontology.kif 19464-19464 Driveway est une sous-classe de Roadway
(subclass Lane Roadway) Transportation.kif 1786-1786 Lane est une sous-classe de Roadway
(subclass Road Roadway) Mid-level-ontology.kif 23878-23878 Road est une sous-classe de Roadway
(subclass RoadJunction Roadway) Transportation.kif 3862-3862 RoadJunction est une sous-classe de Roadway
(subclass SecondaryHighway Roadway) Transportation.kif 1783-1783 SecondaryHighway est une sous-classe de Roadway
(subclass Street Roadway) Transportation.kif 1784-1784 Street est une sous-classe de Roadway
(subclass SurfacedRoadway Roadway) Transportation.kif 625-625 SurfacedRoadway est une sous-classe de Roadway
(subclass UnsurfacedRoadway Roadway) Transportation.kif 635-635 UnsurfacedRoadway est une sous-classe de Roadway
(termFormat ChineseLanguage Roadway "巷道") domainEnglishFormat.kif 50237-50237 UnsurfacedRoadway est une sous-classe de Roadway
(termFormat ChineseTraditionalLanguage Roadway "巷道") domainEnglishFormat.kif 50236-50236 UnsurfacedRoadway est une sous-classe de Roadway
(termFormat EnglishLanguage Roadway "roadway") domainEnglishFormat.kif 50235-50235 UnsurfacedRoadway est une sous-classe de Roadway

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


(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 7664-7664 Le nombre 2 argument de StreetAddressFn est une instance de Roadway
(domain postStreet 2 Roadway) Mid-level-ontology.kif 26495-26495 Le nombre 2 argument de postStreet est une instance de Roadway

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 totalLengthOfHighwaySystem secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(=>
    (and
        (instance ?S RoadTransportationSystem)
        (routeInSystem ?P ?S))
    (instance ?P Roadway))		 Transportation.kif 2264-2268
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))		 Transportation.kif 493-501
(=>
    (instance ?ATV AllTerrainVehicle)
    (hasPurpose ?ATV
        (exists (?D ?L)
            (and
                (instance ?D Transportation)
                (instrument ?D ?ATV)
                (holdsDuring
                    (WhenFn ?D)
                    (orientation ?ATV ?L On))
                (not
                    (instance ?L Roadway))))))		 Cars.kif 4829-4839
(=>
    (instance ?C Curb)
    (exists (?S ?R)
        (and
            (instance ?S Sidewalk)
            (instance ?R Roadway)
            (connects ?C ?S ?R))))		 Mid-level-ontology.kif 16442-16448
(=>
    (instance ?SIDE Sidewalk)
    (exists (?ROAD)
        (and
            (instance ?ROAD Roadway)
            (orientation ?SIDE ?ROAD Near))))		 Mid-level-ontology.kif 17053-17058
(=>
    (instance ?X BusStop)
    (exists (?R)
        (and
            (instance ?R Roadway)
            (meetsSpatially ?X ?R))))		 Transportation.kif 2142-2147
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A AirTransitway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Railway)
                (instance ?B Roadway)
                (instance ?B Waterway)))))		 Transportation.kif 3696-3711
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Railway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Waterway)
                (instance ?B Roadway)
                (instance ?B AirTransitway)))))		 Transportation.kif 3730-3745
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Roadway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Waterway)
                (instance ?B Railway)
                (instance ?B AirTransitway)))))		 Transportation.kif 3747-3762
(=>
    (instance ?X MultimodalTransitPoint)
    (exists (?T1 ?A ?T2 ?B)
        (and
            (instance ?T1
                (TransitFn ?A))
            (instance ?A Waterway)
            (path ?T1 ?A)
            (instance ?T2
                (TransitFn ?B))
            (path ?T2 ?B)
            (connects ?X ?A ?B)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?B Railway)
                (instance ?B Roadway)
                (instance ?B AirTransitway)))))		 Transportation.kif 3713-3728


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