|
|
   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 15084-15085 | |
| (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 1975-1975 | |
| (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 15083-15083 | |
| (subclass Seed ReproductiveBody) | Merge.kif 15082-15082 |
| appearance as argument number 2 |
|
|
| (subclass CerealGrain Seed) | Economy.kif 4026-4026 | |
| (subclass CocoaBean Seed) | Economy.kif 4686-4686 | |
| (subclass CoffeeBean Seed) | Economy.kif 4624-4624 | |
| (subclass KentiaPalmSeed Seed) | Economy.kif 4500-4500 | |
| (subclass NorfolkIslandPineSeed Seed) | Economy.kif 4497-4497 | |
| (subclass Oilseed Seed) | Economy.kif 4509-4509 | |
| (subclass Pea Seed) | Economy.kif 4112-4112 | |
| (subclass Sesame Seed) | Food.kif 3391-3391 | |
| (subclass SunflowerSeed Seed) | Economy.kif 4503-4503 | |
| (termFormat ChineseLanguage Seed "种子") | domainEnglishFormat.kif 51965-51965 | |
| (termFormat ChineseTraditionalLanguage Seed "種子") | domainEnglishFormat.kif 51964-51964 | |
| (termFormat EnglishLanguage Seed "seed") | domainEnglishFormat.kif 51963-51963 |
| antecedent |
|
|
| (=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant)) |
Economy.kif 4629-4634 | |
| (=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree)) |
Economy.kif 4693-4699 | |
| (=> (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 4532-4543 | |
| (=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant)) |
Economy.kif 4839-4843 | |
| (=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT))))) |
Merge.kif 15087-15092 |
| consequent |
|
|
| (=> (and (instance ?H Hulling) (patient ?H ?O)) (or (instance ?O Seed) (instance ?O Fruit))) |
Food.kif 174-180 |
|
|
|
