![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
BidyaWestBank
|
|
|
| appearance as argument number 1 |
|
|
| (instance BidyaWestBank City) | CountriesAndRegions.kif 1552-1552 | Bidya west bank is an instance of city |
| (documentation BidyaWestBank EnglishLanguage "The City of Bidya in WestBank.") | CountriesAndRegions.kif 1553-1553 | Bidya west bank is an instance of city |
| (geographicSubregion BidyaWestBank WestBank) | CountriesAndRegions.kif 2659-2659 | Bidya west bank is a geographic subregion of west bank |
| appearance as argument number 2 |
|
|
| (names "Bidya" BidyaWestBank) | CountriesAndRegions.kif 2660-2660 | Bidya west bank has name "Bidya" |
| (termFormat EnglishLanguage BidyaWestBank "bidya west bank") | domainEnglishFormat.kif 10985-10985 | Bidya west bank has name "Bidya" |
| (termFormat ChineseTraditionalLanguage BidyaWestBank "比亞西岸") | domainEnglishFormat.kif 10986-10986 | Bidya west bank has name "Bidya" |
| (termFormat ChineseLanguage BidyaWestBank "比亚西岸") | domainEnglishFormat.kif 10987-10987 | Bidya west bank has name "Bidya" |