Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  MeroweAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance MeroweAirport Airport) | WorldAirports.kif 20262-20262 | Merowe Airport is an instance of airport |
| (located MeroweAirport Sudan) | WorldAirports.kif 20264-20264 | Merowe Airport is located at sudan |
| appearance as argument number 2 |
|
|
| (abbreviation "MWE" MeroweAirport) | WorldAirports.kif 20263-20263 | "MWE" is an abbreviation of Merowe Airport |
| (termFormat EnglishLanguage MeroweAirport "Merowe Airport") | WorldAirports.kif 42443-42443 | "MWE" is an abbreviation of Merowe Airport |
|