Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Seed
Seed(种子)
more pictures...

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 15038-15039
(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 15037-15037 种子 是 植物解剖结构 的 subclass
(subclass Seed ReproductiveBody) Merge.kif 15036-15036 种子 是 繁殖体 的 subclass

appearance as argument number 2
-------------------------


(subclass CerealGrain Seed) Economy.kif 4026-4026 谷物 是 种子 的 subclass
(subclass CocoaBean Seed) Economy.kif 4686-4686 可可豆 是 种子 的 subclass
(subclass CoffeeBean Seed) Economy.kif 4624-4624 咖啡豆 是 种子 的 subclass
(subclass KentiaPalmSeed Seed) Economy.kif 4500-4500 Kentia棕榈种子 是 种子 的 subclass
(subclass NorfolkIslandPineSeed Seed) Economy.kif 4497-4497 诺福克岛松籽 是 种子 的 subclass
(subclass Oilseed Seed) Economy.kif 4509-4509 油籽 是 种子 的 subclass
(subclass Pea Seed) Economy.kif 4112-4112 豌豆 是 种子 的 subclass
(subclass Sesame Seed) Food.kif 3391-3391 芝麻 是 种子 的 subclass
(subclass SunflowerSeed Seed) Economy.kif 4503-4503 葵花籽 是 种子 的 subclass
(termFormat ChineseLanguage Seed "种子") domainEnglishFormat.kif 51963-51963
(termFormat ChineseTraditionalLanguage Seed "種子") domainEnglishFormat.kif 51962-51962
(termFormat EnglishLanguage Seed "seed") domainEnglishFormat.kif 51961-51961

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 15041-15046

consequent
-------------------------


(=>
    (and
        (instance ?H Hulling)
        (patient ?H ?O))
    (or
        (instance ?O Seed)
        (instance ?O Fruit)))		 Food.kif 174-180


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners