Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  BamernyAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance BamernyAirport Airport) | WorldAirports.kif 3256-3256 | Bamerny Airport is an instance of airport |
| (located BamernyAirport Iran) | WorldAirports.kif 3258-3258 | Bamerny Airport is located at iran |
| appearance as argument number 2 |
|
|
| (abbreviation "BMN" BamernyAirport) | WorldAirports.kif 3257-3257 | "BMN" is an abbreviation of Bamerny Airport |
| (termFormat EnglishLanguage BamernyAirport "Bamerny Airport") | WorldAirports.kif 40157-40157 | "BMN" is an abbreviation of Bamerny Airport |
|