Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AselaAirport(Asela Airport) |
| appearance as argument number 1 |
|
| (instance AselaAirport Airport) | WorldAirports.kif 882-882 | Asela Airport is an instance of airport |
| (located AselaAirport Ethiopia) | WorldAirports.kif 884-884 | Asela Airport is located at ethiopia |
| appearance as argument number 2 |
|
|
| (abbreviation "ALK" AselaAirport) | WorldAirports.kif 883-883 | "ALK" is an abbreviation of Asela Airport |
| (termFormat EnglishLanguage AselaAirport "Asela Airport") | WorldAirports.kif 40075-40075 | "ALK" is an abbreviation of Asela Airport |
|