Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  GollAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance GollAirport Airport) | WorldAirports.kif 10396-10396 | Goll Airport is an instance of airport |
| (located GollAirport Norway) | WorldAirports.kif 10398-10398 | Goll Airport is located at norway |
| appearance as argument number 2 |
|
|
| (abbreviation "GLL" GollAirport) | WorldAirports.kif 10397-10397 | "GLL" is an abbreviation of Goll Airport |
| (termFormat EnglishLanguage GollAirport "Goll Airport") | WorldAirports.kif 37615-37615 | "GLL" is an abbreviation of Goll Airport |
|