Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DernaAirport(Derna Airport) |
| appearance as argument number 1 |
|
| (instance DernaAirport Airport) | WorldAirports.kif 7213-7213 | Derna Airport is an instance of airport |
| (located DernaAirport Libya) | WorldAirports.kif 7215-7215 | Derna Airport is located at libya |
| appearance as argument number 2 |
|
|
| (abbreviation "DNF" DernaAirport) | WorldAirports.kif 7214-7214 | "DNF" is an abbreviation of Derna Airport |
| (termFormat EnglishLanguage DernaAirport "Derna Airport") | WorldAirports.kif 43991-43991 | "DNF" is an abbreviation of Derna Airport |
|