Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NewEngland
|
|
|
| appearance as argument number 1 |
|
|
| (instance NewEngland GeographicArea) | CountriesAndRegions.kif 29-29 | New england is an instance of geographic area |
| (part NewEngland UnitedStates) | CountriesAndRegions.kif 30-30 | New england is a part of united states |
| (documentation NewEngland EnglishLanguage "A GeographicArea in the UnitedStates that is made up of the states of Maine, New Hampshire, Vermont, Massachusetts, Rhode Island, and Connecticut.") | CountriesAndRegions.kif 31-33 | New england is a part of united states |
| appearance as argument number 2 |
|
|
|