Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SebhaAirport(Sebha Airport) |
| appearance as argument number 1 |
|
| (instance SebhaAirport Airport) | WorldAirports.kif 27624-27624 | Sebha Airport is an instance of airport |
| (located SebhaAirport Libya) | WorldAirports.kif 27626-27626 | Sebha Airport is located at libya |
| appearance as argument number 2 |
|
|
| (abbreviation "SEB" SebhaAirport) | WorldAirports.kif 27625-27625 | "SEB" is an abbreviation of Sebha Airport |
| (termFormat EnglishLanguage SebhaAirport "Sebha Airport") | WorldAirports.kif 41012-41012 | "SEB" is an abbreviation of Sebha Airport |
|