Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GavleAirport(Gavle Airport) |
| appearance as argument number 1 |
|
| (instance GavleAirport Airport) | WorldAirports.kif 11046-11046 | Gavle Airport is an instance of airport |
| (located GavleAirport Sweden) | WorldAirports.kif 11048-11048 | Gavle Airport is located at sweden |
| appearance as argument number 2 |
|
|
| (abbreviation "GVX" GavleAirport) | WorldAirports.kif 11047-11047 | "GVX" is an abbreviation of Gavle Airport |
| (termFormat EnglishLanguage GavleAirport "Gavle Airport") | WorldAirports.kif 45460-45460 | "GVX" is an abbreviation of Gavle Airport |
|