Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MontrealCanada(montreal canada) |  | Montreal |
| appearance as argument number 1 |
|
|
| (instance MontrealCanada City) | CountriesAndRegions.kif 745-745 | Montreal canada is an instance of city |
| (part MontrealCanada Canada) | CountriesAndRegions.kif 746-746 | Montreal canada is a part of canada |
| (documentation MontrealCanada EnglishLanguage "A large City in eastern Canada.") | CountriesAndRegions.kif 747-747 | Montreal canada is a part of canada |
| appearance as argument number 2 |
|
|
|