Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TerminalGuidance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Road Region) | Mid-level-ontology.kif 24495-24495 | Road is a subclass of region |
| (subclass Road Roadway) | Mid-level-ontology.kif 24496-24496 | Road is a subclass of roadway |
| (documentation Road EnglishLanguage "A path along which vehicles travel. It is typically, although not necessarily, paved and intended for cars.") | Mid-level-ontology.kif 24497-24498 | Road is a subclass of roadway |
| (externalImage Road "http://upload.wikimedia.org/wikipedia/commons/0/0a/ Road_in_Norway-1.jpg") | pictureList.kif 967-967 | Road is a subclass of roadway |
| appearance as argument number 2 |
|
|
| 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 24500-24508 | If X is an instance of road, then X has the purpose there exist Y, Z such that Y is an instance of transportation, Y is located at X, Z is an instance of land vehicle, and Z is an instrument for Y |
| 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 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 |
|
