Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SvegAirport(Sveg Airport) |
| appearance as argument number 1 |
|
| (instance SvegAirport Airport) | WorldAirports.kif 8642-8642 | Sveg Airport is an instance of airport |
| (located SvegAirport Sweden) | WorldAirports.kif 8644-8644 | Sveg Airport is located at sweden |
| appearance as argument number 2 |
|
|
| (abbreviation "EVG" SvegAirport) | WorldAirports.kif 8643-8643 | "EVG" is an abbreviation of Sveg Airport |
| (termFormat EnglishLanguage SvegAirport "Sveg Airport") | WorldAirports.kif 37379-37379 | "EVG" is an abbreviation of Sveg Airport |
|