|
|
   Seed
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Seed ChineseLanguage "这是 FloweringPlant 的雌性受精或未受精的 ReproductiveBody。") | chinese_format.kif 3503-3504 | |
| (documentation Seed EnglishLanguage "The fertilized or unfertilized female ReproductiveBody of a FloweringPlant.") | Merge.kif 15176-15177 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Witlof_Cichorium_intybus_var._foliosum_seeds.jpg") | pictureList.kif 164-164 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Budowa_nasienia_dwuliscienne.png") | pictureList.kif 1974-1974 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/5/5c/ Seed_jatropha_gossypifolia.jpg") | pictureList-ImageNet.kif 900-900 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/6/61/ Cornus_racemosa_seed.jpg") | pictureList-ImageNet.kif 899-899 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/6/65/ Fennel_seed.jpg") | pictureList-ImageNet.kif 896-896 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Tonburi_Seed.JPG") | pictureList-ImageNet.kif 898-898 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Seed_fockea_edulis.jpg") | pictureList-ImageNet.kif 894-894 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1c/ Celery_seed.jpg/ 800px_Celery_seed.jpg") | pictureList-ImageNet.kif 903-903 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4f/ Acer_seed.jpg/ 585px_Acer_seed.jpg") | pictureList-ImageNet.kif 904-904 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 54/ J_curcas_seed_ies.jpg/ 685px_J_curcas_seed_ies.jpg") | pictureList-ImageNet.kif 892-892 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a7/ Seed_jatropha_podagrica.jpg/ 800px_Seed_jatropha_podagrica.jpg") | pictureList-ImageNet.kif 893-893 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b7/ KoreanPineSeeds.jpg/ 150px_KoreanPineSeeds.jpg") | pictureList-ImageNet.kif 895-895 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Seed_jatropha_curcas.jpg/ 800px_Seed_jatropha_curcas.jpg") | pictureList-ImageNet.kif 905-905 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ bd/ Seed_ornithogalum_caudatum.jpg/ 800px_Seed_ornithogalum_caudatum.jpg") | pictureList-ImageNet.kif 902-902 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e3/ Seed_ipomea_heterophylla.jpg/ 800px_Seed_ipomea_heterophylla.jpg") | pictureList-ImageNet.kif 901-901 | |
| (externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f7/ Seed_petopentia_natalensis.jpg/ 800px_Seed_petopentia_natalensis.jpg") | pictureList-ImageNet.kif 897-897 | |
| (subclass Seed PlantAnatomicalStructure) | Merge.kif 15175-15175 | |
| (subclass Seed ReproductiveBody) | Merge.kif 15174-15174 |
| appearance as argument number 2 |
|
|
| (subclass CerealGrain Seed) | Economy.kif 4363-4363 | |
| (subclass CocoaBean Seed) | Economy.kif 5024-5024 | |
| (subclass CoffeeBean Seed) | Economy.kif 4962-4962 | |
| (subclass KentiaPalmSeed Seed) | Economy.kif 4838-4838 | |
| (subclass NorfolkIslandPineSeed Seed) | Economy.kif 4835-4835 | |
| (subclass Oilseed Seed) | Economy.kif 4847-4847 | |
| (subclass Pea Seed) | Economy.kif 4449-4449 | |
| (subclass Sesame Seed) | Food.kif 3398-3398 | |
| (subclass SunflowerSeed Seed) | Economy.kif 4841-4841 | |
| (termFormat ChineseLanguage Seed "种子") | domainEnglishFormat.kif 51967-51967 | |
| (termFormat ChineseTraditionalLanguage Seed "種子") | domainEnglishFormat.kif 51966-51966 | |
| (termFormat EnglishLanguage Seed "seed") | domainEnglishFormat.kif 51965-51965 |
| antecedent |
|
|
| (=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4967-4972 | |
| (=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree)) |
Economy.kif 5031-5037 | |
| (=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P)))) |
Economy.kif 4870-4881 | |
| (=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant)) |
Economy.kif 5179-5183 | |
| (=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT))))) |
Merge.kif 15179-15184 |
| consequent |
|
|
| (=> (and (instance ?H Hulling) (patient ?H ?O)) (or (instance ?O Seed) (instance ?O Fruit))) |
Food.kif 174-180 |
|
|
|
