![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
MaanAirport
|
|
|
| appearance as argument number 1 |
|
|
| (instance MaanAirport Airport) | WorldAirports.kif 19612-19612 | Maan Airport is an instance of airport |
| (located MaanAirport Jordan) | WorldAirports.kif 19614-19614 | Maan Airport is located at jordan |
| appearance as argument number 2 |
|
|
| (abbreviation "MPQ" MaanAirport) | WorldAirports.kif 19613-19613 | "MPQ" is an abbreviation of Maan Airport |
| (termFormat EnglishLanguage MaanAirport "Maan Airport") | WorldAirports.kif 38652-38652 | "MPQ" is an abbreviation of Maan Airport |