Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AlahAirport(Alah Airport) |
| appearance as argument number 1 |
|
| (instance AlahAirport Airport) | WorldAirports.kif 87-87 | Alah Airport is an instance of airport |
| (located AlahAirport Philippines) | WorldAirports.kif 89-89 | Alah Airport is located at philippines |
| appearance as argument number 2 |
|
|
| (abbreviation "AAV" AlahAirport) | WorldAirports.kif 88-88 | "AAV" is an abbreviation of Alah Airport |
| (termFormat EnglishLanguage AlahAirport "Alah Airport") | WorldAirports.kif 39835-39835 | "AAV" is an abbreviation of Alah Airport |
|