Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BergamoAirport(Bergamo Airport) |
| appearance as argument number 1 |
|
| (instance BergamoAirport Airport) | WorldAirports.kif 2705-2705 | Bergamo Airport is an instance of airport |
| (located BergamoAirport Italy) | WorldAirports.kif 2707-2707 | Bergamo Airport is located at italy |
| appearance as argument number 2 |
|
|
| (abbreviation "BGY" BergamoAirport) | WorldAirports.kif 2706-2706 | "BGY" is an abbreviation of Bergamo Airport |
| (termFormat EnglishLanguage BergamoAirport "Bergamo Airport") | WorldAirports.kif 42325-42325 | "BGY" is an abbreviation of Bergamo Airport |
|