| UnsurfacedRoadway(unsurfaced roadway)
|
| appearance as argument number 1 |
|
| (subclass UnsurfacedRoadway Roadway) | Transportation.kif 635-635 | Unsurfaced roadway is a subclass of roadway |
| (documentation UnsurfacedRoadway EnglishLanguage "UnsurfacedRoadway is the subclass of Roadways that have natural, unimproved surfaces of dirt or sand.") | Transportation.kif 636-637 | Unsurfaced roadway is a subclass of roadway |
| (externalImage UnsurfacedRoadway "http://upload.wikimedia.org/wikipedia/ en/ thumb/ 1/ 1d/ Seymour_Logging_Road.JPG/ 180px_Seymour_Logging_Road.JPG") | pictureList.kif 1278-1278 | Unsurfaced roadway is a subclass of roadway |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?UR UnsurfacedRoadway) (attribute ?UR Unpaved)) |
Transportation.kif 639-641 | If X is an instance of unsurfaced roadway, then unpaved is an attribute of X |
| consequent |
|
|
| (<=> (lengthOfUnpavedHighway ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS UnsurfacedRoadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 | X is a length of unpaved highway of Y if and only if the length of the class described by Z is X |
| (=> (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 | If X Y(s) is a length of unpaved highway of Z, Y is an instance of unit of length, and X is greater than 0, then there exists W such that W is an instance of unsurfaced roadway and W is located at Z |
|
|
|