Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BamburiAirport(Bamburi Airport) |
| appearance as argument number 1 |
|
| (instance BamburiAirport Airport) | WorldAirports.kif 3268-3268 | Bamburi Airport is an instance of airport |
| (located BamburiAirport Kenya) | WorldAirports.kif 3270-3270 | Bamburi Airport is located at kenya |
| appearance as argument number 2 |
|
|
| (abbreviation "BMQ" BamburiAirport) | WorldAirports.kif 3269-3269 | "BMQ" is an abbreviation of Bamburi Airport |
| (termFormat EnglishLanguage BamburiAirport "Bamburi Airport") | WorldAirports.kif 43028-43028 | "BMQ" is an abbreviation of Bamburi Airport |
|