![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Ossification
|
|
|
| appearance as argument number 1 |
|
|
| (instance YaAbadWestBank City) | CountriesAndRegions.kif 2460-2460 | Ya abad west bank is an instance of city |
| (documentation YaAbadWestBank EnglishLanguage "The City of YaAbad in WestBank.") | CountriesAndRegions.kif 2461-2461 | Ya abad west bank is an instance of city |
| (geographicSubregion YaAbadWestBank WestBank) | CountriesAndRegions.kif 3676-3676 | Ya abad west bank is a geographic subregion of west bank |
| appearance as argument number 2 |
|
|
| (names "Ya'abad" YaAbadWestBank) | CountriesAndRegions.kif 3677-3677 | Ya abad west bank has name "Ya'abad" |
| (termFormat EnglishLanguage YaAbadWestBank "ya abad west bank") | domainEnglishFormat.kif 63644-63644 | Ya abad west bank has name "Ya'abad" |
| (termFormat ChineseTraditionalLanguage YaAbadWestBank "亞伯德西岸") | domainEnglishFormat.kif 63645-63645 | Ya abad west bank has name "Ya'abad" |
| (termFormat ChineseLanguage YaAbadWestBank "亚伯德西岸") | domainEnglishFormat.kif 63646-63646 | Ya abad west bank has name "Ya'abad" |