Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GarissaAirport(Garissa Airport) |
| appearance as argument number 1 |
|
| (instance GarissaAirport Airport) | WorldAirports.kif 9798-9798 | Garissa Airport is an instance of airport |
| (located GarissaAirport Kenya) | WorldAirports.kif 9800-9800 | Garissa Airport is located at kenya |
| appearance as argument number 2 |
|
|
| (abbreviation "GAS" GarissaAirport) | WorldAirports.kif 9799-9799 | "GAS" is an abbreviation of Garissa Airport |
| (termFormat EnglishLanguage GarissaAirport "Garissa Airport") | WorldAirports.kif 43583-43583 | "GAS" is an abbreviation of Garissa Airport |
|