UnsurfacedRoadway |
appearance as argument number 1 |
(documentation UnsurfacedRoadway EnglishLanguage "UnsurfacedRoadway is the subclass of Roadways that have natural, unimproved surfaces of dirt or sand.") | Transportation.kif 636-637 | |
(externalImage UnsurfacedRoadway "http://upload.wikimedia.org/wikipedia/ en/ thumb/ 1/ 1d/ Seymour_Logging_Road.JPG/ 180px-Seymour_Logging_Road.JPG") | pictureList.kif 1278-1278 | |
(subclass UnsurfacedRoadway Roadway) | Transportation.kif 635-635 |
appearance as argument number 2 |
(disjoint SurfacedRoadway UnsurfacedRoadway) | Transportation.kif 643-643 | |
(termFormat ChineseLanguage UnsurfacedRoadway "没有铺面的巷道") | domainEnglishFormat.kif 60592-60592 | |
(termFormat ChineseTraditionalLanguage UnsurfacedRoadway "沒有鋪面的巷道") | domainEnglishFormat.kif 60591-60591 | |
(termFormat EnglishLanguage UnsurfacedRoadway "unsurfaced roadway") | domainEnglishFormat.kif 60590-60590 |
antecedent |
(=> (instance ?UR UnsurfacedRoadway) (attribute ?UR Unpaved)) |
Transportation.kif 639-641 |
consequent |
(<=> (lengthOfUnpavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS UnsurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 | |
(=> (and (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY UnsurfacedRoadway) (located ?HIGHWAY ?AREA)))) |
Transportation.kif 610-618 |