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 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 52003-52003
(termFormat ChineseTraditionalLanguage Seed "種子") domainEnglishFormat.kif 52002-52002
(termFormat EnglishLanguage Seed "seed") domainEnglishFormat.kif 52001-52001

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


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