Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ConsolidationLoan
|
|
|
| appearance as argument number 1 |
|
|
| (instance SaltonSea SaltLake) | Geography.kif 6657-6657 | Salton sea is an instance of salt lake |
| (geographicSubregion SaltonSea California) | Geography.kif 6659-6659 | Salton sea is a geographic subregion of california |
| appearance as argument number 2 |
|
|
| (names "Salton Sea" SaltonSea) | Geography.kif 6658-6658 | Salton sea has name "Salton Sea" |
| (termFormat EnglishLanguage SaltonSea "salton sea") | domainEnglishFormat.kif 50998-50998 | Salton sea has name "Salton Sea" |
| (termFormat ChineseTraditionalLanguage SaltonSea "薩爾頓海") | domainEnglishFormat.kif 50999-50999 | Salton sea has name "Salton Sea" |
| (termFormat ChineseLanguage SaltonSea "萨尔顿海") | domainEnglishFormat.kif 51000-51000 | Salton sea has name "Salton Sea" |
|