Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| YoroAirport(Yoro Airport) |
| appearance as argument number 1 |
|
| (instance YoroAirport Airport) | WorldAirports.kif 22719-22719 | Yoro Airport is an instance of airport |
| (located YoroAirport Honduras) | WorldAirports.kif 22721-22721 | Yoro Airport is located at honduras |
| appearance as argument number 2 |
|
|
| (abbreviation "ORO" YoroAirport) | WorldAirports.kif 22720-22720 | "ORO" is an abbreviation of Yoro Airport |
| (termFormat EnglishLanguage YoroAirport "Yoro Airport") | WorldAirports.kif 39794-39794 | "ORO" is an abbreviation of Yoro Airport |
|