Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  HizmaWestBank
|
|
|
| appearance as argument number 1 |
|
|
| (instance HizmaWestBank City) | CountriesAndRegions.kif 1802-1802 | Hizma west bank is an instance of city |
| (documentation HizmaWestBank EnglishLanguage "The City of Hizma in WestBank.") | CountriesAndRegions.kif 1803-1803 | Hizma west bank is an instance of city |
| (geographicSubregion HizmaWestBank WestBank) | CountriesAndRegions.kif 2933-2933 | Hizma west bank is a geographic subregion of west bank |
| appearance as argument number 2 |
|
|
| (names "Hizma" HizmaWestBank) | CountriesAndRegions.kif 2934-2934 | Hizma west bank has name "Hizma" |
| (termFormat EnglishLanguage HizmaWestBank "hizma west bank") | domainEnglishFormat.kif 28283-28283 | Hizma west bank has name "Hizma" |
| (termFormat ChineseTraditionalLanguage HizmaWestBank "Hizma西岸") | domainEnglishFormat.kif 28284-28284 | Hizma west bank has name "Hizma" |
| (termFormat ChineseLanguage HizmaWestBank "Hizma西岸") | domainEnglishFormat.kif 28285-28285 | Hizma west bank has name "Hizma" |
|