Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RuseAirport(Ruse Airport) |
| appearance as argument number 1 |
|
| (instance RuseAirport Airport) | WorldAirports.kif 26798-26798 | Ruse Airport is an instance of airport |
| (located RuseAirport Bulgaria) | WorldAirports.kif 26800-26800 | Ruse Airport is located at bulgaria |
| appearance as argument number 2 |
|
|
| (abbreviation "ROU" RuseAirport) | WorldAirports.kif 26799-26799 | "ROU" is an abbreviation of Ruse Airport |
| (termFormat EnglishLanguage RuseAirport "Ruse Airport") | WorldAirports.kif 41382-41382 | "ROU" is an abbreviation of Ruse Airport |
|