Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PartInspection
|
|
|
| appearance as argument number 1 |
|
|
| (capitalCity JerusalemPalestine WestBank) | CountriesAndRegions.kif 2985-2985 | West bank is a capital city of Jerusalem Palestine |
| (documentation JerusalemPalestine EnglishLanguage "The capital and largest City in the WestBank It is regarded as a holy city by Muslims, Jews, and Christians.") | CountriesAndRegions.kif 2987-2989 | West bank is a capital city of Jerusalem Palestine |
| (externalImage JerusalemPalestine "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 0/ 05/ Jerusalem_from_mt_olives.jpg/ 245px_Jerusalem_from_mt_olives.jpg") | CountriesAndRegions.kif 2991-2993 | West bank is a capital city of Jerusalem Palestine |
| (instance JerusalemPalestine City) | CountriesAndRegions.kif 2996-2996 | Jerusalem Palestine is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Jerusalem" JerusalemPalestine) | CountriesAndRegions.kif 2998-2998 | Jerusalem Palestine has name "Jerusalem" |
| (termFormat EnglishLanguage JerusalemPalestine "Jerusalem Palestine") | CountriesAndRegions.kif 3000-3000 | Jerusalem Palestine has name "Jerusalem" |
|
