Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BrackAirport(Brack Airport) |
| appearance as argument number 1 |
|
| (instance BrackAirport Airport) | WorldAirports.kif 25129-25129 | Brack Airport is an instance of airport |
| (located BrackAirport Libya) | WorldAirports.kif 25131-25131 | Brack Airport is located at libya |
| appearance as argument number 2 |
|
|
| (abbreviation "QBF" BrackAirport) | WorldAirports.kif 25130-25130 | "QBF" is an abbreviation of Brack Airport |
| (termFormat EnglishLanguage BrackAirport "Brack Airport") | WorldAirports.kif 39809-39809 | "QBF" is an abbreviation of Brack Airport |
|