Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BeidaAirport(Beida Airport) |
| appearance as argument number 1 |
|
| (instance BeidaAirport Airport) | WorldAirports.kif 16316-16316 | Beida Airport is an instance of airport |
| (located BeidaAirport Libya) | WorldAirports.kif 16318-16318 | Beida Airport is located at libya |
| appearance as argument number 2 |
|
|
| (abbreviation "LAQ" BeidaAirport) | WorldAirports.kif 16317-16317 | "LAQ" is an abbreviation of Beida Airport |
| (termFormat EnglishLanguage BeidaAirport "Beida Airport") | WorldAirports.kif 42709-42709 | "LAQ" is an abbreviation of Beida Airport |
|