Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ToulonFrance
|
|
|
| appearance as argument number 1 |
|
|
| (instance ToulonFrance City) | CountriesAndRegions.kif 2366-2366 | ToulonFrance is an instance of city |
| (documentation ToulonFrance EnglishLanguage "The City of Toulon in France.") | CountriesAndRegions.kif 2367-2367 | ToulonFrance is an instance of city |
| (geographicSubregion ToulonFrance France) | CountriesAndRegions.kif 3569-3569 | ToulonFrance is a geographic subregion of france |
| (geographicSubregion ToulonFrance SouthernFrance) | Geography.kif 341-341 | ToulonFrance is a geographic subregion of Southern France |
| appearance as argument number 2 |
|
|
| (names "Toulom" ToulonFrance) | CountriesAndRegions.kif 3570-3570 | ToulonFrance has name "Toulom" |
|