![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Road EnglishLanguage "A path along which vehicles travel. It is typically, although not necessarily, paved and intended for cars.") | Mid-level-ontology.kif 21699-21700 | |
(externalImage Road "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Road_in_Norway-1.jpg") | pictureList.kif 968-968 | |
(subclass Road Region) | Mid-level-ontology.kif 21697-21697 | |
(subclass Road Roadway) | Mid-level-ontology.kif 21698-21698 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Road "路") | domainEnglishFormat.kif 50163-50163 | |
(termFormat ChineseTraditionalLanguage Road "路") | domainEnglishFormat.kif 50162-50162 | |
(termFormat EnglishLanguage Road "road") | domainEnglishFormat.kif 50161-50161 |
antecedent |
![]() |
(=> (instance ?X Road) (hasPurpose ?X (exists (?EV ?VEH) (and (instance ?EV Transportation) (eventLocated ?EV ?X) (instance ?VEH LandVehicle) (instrument ?EV ?VEH))))) |
Mid-level-ontology.kif 21702-21710 |
consequent |
![]() |
(=> (instance ?X Checkpoint) (or (exists (?ROAD) (and (instance ?ROAD Road) (orientation ?ROAD ?X Near))) (exists (?REG1 ?REG2) (orientation (BorderFn ?REG1 ?REG2) ?X Near)))) |
Geography.kif 749-757 |
![]() |
![]() |