Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Checkpoint
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Checkpoint GeographicArea) | Geography.kif 2204-2204 | Checkpoint is a subclass of geographic area |
| (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 2205-2211 | Checkpoint is a subclass of geographic area |
| (externalImage Checkpoint "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ CheckpointCharlie1989.jpg") | pictureList.kif 1470-1470 | Checkpoint is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| 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 2213-2221 | If X is an instance of checkpoint, then there exists Y such that Y is an instance of road and Y is near to X or there exist Z, W such that the border of Z, and W is near to X |
|
