Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TobrukAirport(Tobruk Airport) |
| appearance as argument number 1 |
|
| (instance TobrukAirport Airport) | WorldAirports.kif 30842-30842 | Tobruk Airport is an instance of airport |
| (located TobrukAirport Libya) | WorldAirports.kif 30844-30844 | Tobruk Airport is located at libya |
| appearance as argument number 2 |
|
|
| (abbreviation "TOB" TobrukAirport) | WorldAirports.kif 30843-30843 | "TOB" is an abbreviation of Tobruk Airport |
| (termFormat EnglishLanguage TobrukAirport "Tobruk Airport") | WorldAirports.kif 45573-45573 | "TOB" is an abbreviation of Tobruk Airport |
|