Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  DiegoJimenezTorresFajardoAirport
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (abbreviation "FAJ" DiegoJimenezTorresFajardoAirport) | WorldAirports.kif 8811-8811 | "FAJ" is an abbreviation of Diego Jimenez Torres Fajardo Airport |
| (termFormat EnglishLanguage DiegoJimenezTorresFajardoAirport "Diego Jimenez Torres Fajardo Airport") | WorldAirports.kif 46055-46055 | "FAJ" is an abbreviation of Diego Jimenez Torres Fajardo Airport |
|