|
|
   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 | 没有铺面的巷道 是 巷道 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint SurfacedRoadway UnsurfacedRoadway) | Transportation.kif 643-643 | 浮出水面的巷道 和 % 2 是 disjoint |
| (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 | 长度测量 是 地理区域 的未铺设高速公路 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| (=> (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 |
|
|
|
