Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  GabesAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance GabesAirport Airport) | WorldAirports.kif 9742-9742 | Gabes Airport is an instance of airport |
| (located GabesAirport Tunisia) | WorldAirports.kif 9744-9744 | Gabes Airport is located at tunisia |
| appearance as argument number 2 |
|
|
| (abbreviation "GAE" GabesAirport) | WorldAirports.kif 9743-9743 | "GAE" is an abbreviation of Gabes Airport |
| (termFormat EnglishLanguage GabesAirport "Gabes Airport") | WorldAirports.kif 42337-42337 | "GAE" is an abbreviation of Gabes Airport |
|