Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Hill
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hill LandForm) | Geography.kif 5561-5561 | Hill is a subclass of land form |
| (subclass Hill UplandArea) | Geography.kif 5562-5562 | Hill is a subclass of upland area |
| (documentation Hill EnglishLanguage "A Hill is a raised part of the earth's surface with sloping sides - an old mountain which because of erosion has become shorter and more rounded.") | Geography.kif 5564-5566 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d9/ Calton_Hill_-_St_Andrew's_House.JPG/ 800px_Calton_Hill_-_St_Andrew's_House.JPG") | pictureList-ImageNet.kif 635-635 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ El_Naranjo_desde_Collado_Vallejo,_ruta_normal_de_aproximación_al_Picu.jpg/ 250px_El_Naranjo_desde_Collado_Vallejo,_ruta_normal_de_aproximación_al_Picu.jpg") | pictureList-ImageNet.kif 636-636 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 41/ Watch_Hill.jpg/ 300px_Watch_Hill.jpg") | pictureList-ImageNet.kif 637-637 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/en/f/f2/Pendle_Hill_Lancs.jpg") | pictureList-ImageNet.kif 638-638 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Ancon_Hill_in_Panama_01.jpg") | pictureList-ImageNet.kif 639-639 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ da/ LoudounHill.jpg/ 300px_LoudounHill.jpg") | pictureList-ImageNet.kif 640-640 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ dc/ S.agostino_collina.jpg/ 200px_S.agostino_collina.jpg") | pictureList-ImageNet.kif 641-641 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 9e/ Colle_Collon_dal_rifugio_Nacamuli.JPG/ 300px_Colle_Collon_dal_rifugio_Nacamuli.JPG") | pictureList-ImageNet.kif 642-642 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 55/ OltreIlColle_panorama_03.jpg/ 330px_OltreIlColle_panorama_03.jpg") | pictureList-ImageNet.kif 643-643 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 79/ Colle_della_Maddalena_Col_de_Larche_IMG_1184.JPG/ 300px_Colle_della_Maddalena_Col_de_Larche_IMG_1184.JPG") | pictureList-ImageNet.kif 644-644 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/en/thumb/d/d7/ Badbury_Hill.JPG/ 400px_Badbury_Hill.JPG") | pictureList-ImageNet.kif 645-645 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 05/ Lyskamm_dal_colle_del_Felik.JPG/ 300px_Lyskamm_dal_colle_del_Felik.JPG") | pictureList-ImageNet.kif 646-646 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ ef/ Colle_di_Tenda_edited.jpg/ 300px_Colle_di_Tenda_edited.jpg") | pictureList-ImageNet.kif 647-647 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 33/ Pescara_Panorama_Colle_Orlando0004.JPG/ 380px_Pescara_Panorama_Colle_Orlando0004.JPG") | pictureList-ImageNet.kif 648-648 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Silbury_Hill_DB.jpg") | pictureList-ImageNet.kif 649-649 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 10/ LA_COLLINA_DELLA_CITTADELLA_E_L'ETNA.JPG/ 300px_LA_COLLINA_DELLA_CITTADELLA_E_L'ETNA.JPG") | pictureList-ImageNet.kif 650-650 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b2/ Colle_delle_Finestre_Meana_di_Susa.JPG/ 300px_Colle_delle_Finestre_Meana_di_Susa.JPG") | pictureList-ImageNet.kif 651-651 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/en/0/09/Gorakh_Hill_Top_1.JPG") | pictureList-ImageNet.kif 652-652 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/it/thumb/7/77/ Colle_di_zambla.jpg/ 300px_Colle_di_zambla.jpg") | pictureList-ImageNet.kif 653-653 | Hill is a subclass of upland area |
| (externalImage Hill "http://upload.wikimedia.org/wikipedia/commons/1/1e/ Dragon_Hill_1_db.jpg") | pictureList.kif 954-954 | Hill is a subclass of upland area |
| appearance as argument number 2 |
|
|
| (subclass VolcanicCone Hill) | Geography.kif 5589-5589 | Volcanic cone is a subclass of hill |
| (subclass Dune Hill) | Geography.kif 5889-5889 | Dune is a subclass of hill |
| (termFormat EnglishLanguage Hill "hill") | domainEnglishFormat.kif 28205-28205 | Dune is a subclass of hill |
| (termFormat ChineseTraditionalLanguage Hill "爬坡道") | domainEnglishFormat.kif 28206-28206 | Dune is a subclass of hill |
| (termFormat ChineseLanguage Hill "爬坡道") | domainEnglishFormat.kif 28207-28207 | Dune is a subclass of hill |
| antecedent |
|
|
| (=> (instance ?Hill Hill) (exists (?Incline) (and (instance ?Incline SlopedArea) (part ?Incline ?Hill)))) |
Geography.kif 5568-5573 | If X is an instance of hill, then there exists Y such that Y is an instance of sloped area and Y is a part of X |
|
