Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InternationalBorder(international border) |
| appearance as argument number 1 |
|
| (subclass InternationalBorder GeographicArea) | Geography.kif 2199-2199 | International border is a subclass of geographic area |
| (documentation InternationalBorder EnglishLanguage "InternationalBorder is the subclass of GeographicAreas where the areas of two Nations meet.") | Geography.kif 2201-2202 | International border is a subclass of geographic area |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 2176-2181 | If the border of X and Y is an instance of geographic area, X is an instance of nation, and Y is an instance of nation, then the border of X and Y is an instance of international border |
|