Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AnapaAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance AnapaAirport Airport) | WorldAirports.kif 67-67 | Anapa Airport is an instance of airport |
| (located AnapaAirport Russia) | WorldAirports.kif 69-69 | Anapa Airport is located at russia |
| appearance as argument number 2 |
|
|
| (abbreviation "AAQ" AnapaAirport) | WorldAirports.kif 68-68 | "AAQ" is an abbreviation of Anapa Airport |
| (termFormat EnglishLanguage AnapaAirport "Anapa Airport") | WorldAirports.kif 46231-46231 | "AAQ" is an abbreviation of Anapa Airport |
|