Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (instance AguniAirport Airport) | WorldAirports.kif 494-494 | Aguni Airport is an instance of airport |
| (located AguniAirport Japan) | WorldAirports.kif 496-496 | Aguni Airport is located at japan |
| appearance as argument number 2 |
|
|
| (abbreviation "AGJ" AguniAirport) | WorldAirports.kif 495-495 | "AGJ" is an abbreviation of Aguni Airport |
| (termFormat EnglishLanguage AguniAirport "Aguni Airport") | WorldAirports.kif 43131-43131 | "AGJ" is an abbreviation of Aguni Airport |
|