Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SindalAirport(Sindal Airport) |
| appearance as argument number 1 |
|
| (instance SindalAirport Airport) | WorldAirports.kif 5614-5614 | Sindal Airport is an instance of airport |
| (located SindalAirport Denmark) | WorldAirports.kif 5616-5616 | Sindal Airport is located at denmark |
| appearance as argument number 2 |
|
|
| (abbreviation "CNL" SindalAirport) | WorldAirports.kif 5615-5615 | "CNL" is an abbreviation of Sindal Airport |
| (termFormat EnglishLanguage SindalAirport "Sindal Airport") | WorldAirports.kif 42408-42408 | "CNL" is an abbreviation of Sindal Airport |
|