Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ZarkaAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance ZarkaAirport Airport) | WorldAirports.kif 25902-25902 | Zarka Airport is an instance of airport |
| (located ZarkaAirport Jordan) | WorldAirports.kif 25904-25904 | Zarka Airport is located at jordan |
| appearance as argument number 2 |
|
|
| (abbreviation "QZA" ZarkaAirport) | WorldAirports.kif 25903-25903 | "QZA" is an abbreviation of Zarka Airport |
| (termFormat EnglishLanguage ZarkaAirport "Zarka Airport") | WorldAirports.kif 44501-44501 | "QZA" is an abbreviation of Zarka Airport |
|