Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AksuAirport(Aksu Airport) |
| appearance as argument number 1 |
|
| (instance AksuAirport Airport) | WorldAirports.kif 826-826 | Aksu Airport is an instance of airport |
| (located AksuAirport China) | WorldAirports.kif 828-828 | Aksu Airport is located at china |
| appearance as argument number 2 |
|
|
| (abbreviation "AKU" AksuAirport) | WorldAirports.kif 827-827 | "AKU" is an abbreviation of Aksu Airport |
| (termFormat EnglishLanguage AksuAirport "Aksu Airport") | WorldAirports.kif 38699-38699 | "AKU" is an abbreviation of Aksu Airport |
|