Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IwamiAirport(Iwami Airport) |
| appearance as argument number 1 |
|
| (instance IwamiAirport Airport) | WorldAirports.kif 13328-13328 | Iwami Airport is an instance of airport |
| (located IwamiAirport Japan) | WorldAirports.kif 13330-13330 | Iwami Airport is located at japan |
| appearance as argument number 2 |
|
|
| (abbreviation "IWJ" IwamiAirport) | WorldAirports.kif 13329-13329 | "IWJ" is an abbreviation of Iwami Airport |
| (termFormat EnglishLanguage IwamiAirport "Iwami Airport") | WorldAirports.kif 38434-38434 | "IWJ" is an abbreviation of Iwami Airport |
|