Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  deprivesNorm
|
|
|
| appearance as argument number 1 |
|
|
| (instance AntakyaTurkey City) | CountriesAndRegions.kif 1436-1436 | Antakya turkey is an instance of city |
| (documentation AntakyaTurkey EnglishLanguage "The City of Antakya is the municipality and the capital district of Hatay Province in Turkey.") | CountriesAndRegions.kif 1437-1438 | Antakya turkey is an instance of city |
| (geographicSubregion AntakyaTurkey Turkey) | CountriesAndRegions.kif 2547-2547 | Antakya turkey is a geographic subregion of turkey |
| (geographicSubregion AntakyaTurkey LevantRegion) | Geography.kif 316-316 | Antakya turkey is a geographic subregion of Levant Region |
| appearance as argument number 2 |
|
|
| (names "Antakya" AntakyaTurkey) | CountriesAndRegions.kif 2548-2548 | Antakya turkey has name "Antakya" |
| (termFormat EnglishLanguage AntakyaTurkey "antakya turkey") | domainEnglishFormat.kif 7728-7728 | Antakya turkey has name "Antakya" |
| (termFormat ChineseTraditionalLanguage AntakyaTurkey "安塔基亞土耳其") | domainEnglishFormat.kif 7729-7729 | Antakya turkey has name "Antakya" |
| (termFormat ChineseLanguage AntakyaTurkey "安塔基亚土耳其") | domainEnglishFormat.kif 7730-7730 | Antakya turkey has name "Antakya" |
|