|
|
   Checkpoint
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Checkpoint EnglishLanguage "An area on or very near a border, usually along a road connecting two regions, where MilitaryPersons or PoliceOfficers restrict the flow of traffic in order to extract tarrifs, deny movement to certain kinds of people or goods, or other enforement actions. Because of the power relationship involved, such areas are often the site of Illegal activities conducted by the officials in order to extract favors or bribes.") | Geography.kif 734-740 | |
| (externalImage Checkpoint "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ CheckpointCharlie1989.jpg") | pictureList.kif 1470-1470 | |
| (subclass Checkpoint GeographicArea) | Geography.kif 733-733 | Checkpoint は 地理的地域 の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Checkpoint "检查站") | domainEnglishFormat.kif 14256-14256 | |
| (termFormat ChineseTraditionalLanguage Checkpoint "檢查站") | domainEnglishFormat.kif 14255-14255 | |
| (termFormat EnglishLanguage Checkpoint "checkpoint") | domainEnglishFormat.kif 14254-14254 |
| antecedent |
|
|
| (=> (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 742-750 |
|
|
|
