Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| YagurJunctionIsrael(yagur junction israel) |
| appearance as argument number 1 |
|
| (instance YagurJunctionIsrael City) | CountriesAndRegions.kif 2462-2462 | Yagur junction israel is an instance of city |
| (documentation YagurJunctionIsrael EnglishLanguage "The City of YagurJunction in Israel.") | CountriesAndRegions.kif 2463-2463 | Yagur junction israel is an instance of city |
| (geographicSubregion YagurJunctionIsrael Israel) | CountriesAndRegions.kif 3678-3678 | Yagur junction israel is a geographic subregion of israel |
| appearance as argument number 2 |
|
|
| (names "Yagur Junction" YagurJunctionIsrael) | CountriesAndRegions.kif 3679-3679 | Yagur junction israel has name "Yagur Junction" |
| (termFormat EnglishLanguage YagurJunctionIsrael "yagur junction israel") | domainEnglishFormat.kif 63662-63662 | Yagur junction israel has name "Yagur Junction" |
| (termFormat ChineseTraditionalLanguage YagurJunctionIsrael "以色列的yagur交界處") | domainEnglishFormat.kif 63663-63663 | Yagur junction israel has name "Yagur Junction" |
| (termFormat ChineseLanguage YagurJunctionIsrael "以色列的yagur交界处") | domainEnglishFormat.kif 63664-63664 | Yagur junction israel has name "Yagur Junction" |
|