| UnsurfacedRoadway(unsurfaced roadway)
|
| 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 | Unsurfaced roadway is a subclass of roadway |
| appearance as argument number 2 |
|
|
| (disjoint SurfacedRoadway UnsurfacedRoadway) | Transportation.kif 643-643 | Surfaced roadway is disjoint from unsurfaced roadway |
| (termFormat ChineseLanguage UnsurfacedRoadway "没有铺面的巷道") | domainEnglishFormat.kif 60615-60615 | Surfaced roadway is disjoint from unsurfaced roadway |
| (termFormat ChineseTraditionalLanguage UnsurfacedRoadway "沒有鋪面的巷道") | domainEnglishFormat.kif 60614-60614 | Surfaced roadway is disjoint from unsurfaced roadway |
| (termFormat EnglishLanguage UnsurfacedRoadway "unsurfaced roadway") | domainEnglishFormat.kif 60613-60613 | Surfaced roadway is disjoint from unsurfaced roadway |
| 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 | A length measure is a length of unpaved highway of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
| (=> (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 |
|
|
|
|