Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AltaAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance AltaAirport Airport) | WorldAirports.kif 862-862 | Alta Airport is an instance of airport |
| (located AltaAirport Norway) | WorldAirports.kif 864-864 | Alta Airport is located at norway |
| appearance as argument number 2 |
|
|
| (abbreviation "ALF" AltaAirport) | WorldAirports.kif 863-863 | "ALF" is an abbreviation of Alta Airport |
| (termFormat EnglishLanguage AltaAirport "Alta Airport") | WorldAirports.kif 37346-37346 | "ALF" is an abbreviation of Alta Airport |
|