![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
WashingtonDCUnitedStates
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (meetsSpatially Maryland WashingtonDCUnitedStates) | CountriesAndRegions.kif 985-985 | Maryland meets washingtonDC united states |
| (meetsSpatially Virginia WashingtonDCUnitedStates) | CountriesAndRegions.kif 1133-1133 | Virginia meets washingtonDC united states |
| (names "Washington DC." WashingtonDCUnitedStates) | CountriesAndRegions.kif 3670-3670 | WashingtonDC united states has name "Washington DC." |
| (termFormat EnglishLanguage WashingtonDCUnitedStates "washingtonDC united states") | domainEnglishFormat.kif 62278-62278 | WashingtonDC united states has name "Washington DC." |
| (termFormat ChineseTraditionalLanguage WashingtonDCUnitedStates "華盛頓特區美國") | domainEnglishFormat.kif 62279-62279 | WashingtonDC united states has name "Washington DC." |
| (termFormat ChineseLanguage WashingtonDCUnitedStates "华盛顿特区美国") | domainEnglishFormat.kif 62280-62280 | WashingtonDC united states has name "Washington DC." |