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 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 15083-15083
(subclass Seed ReproductiveBody) Merge.kif 15082-15082

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


(subclass CerealGrain Seed) Economy.kif 4141-4141
(subclass CocoaBean Seed) Economy.kif 4801-4801
(subclass CoffeeBean Seed) Economy.kif 4739-4739
(subclass KentiaPalmSeed Seed) Economy.kif 4615-4615
(subclass NorfolkIslandPineSeed Seed) Economy.kif 4612-4612
(subclass Oilseed Seed) Economy.kif 4624-4624
(subclass Pea Seed) Economy.kif 4227-4227
(subclass Sesame Seed) Food.kif 3391-3391
(subclass SunflowerSeed Seed) Economy.kif 4618-4618
(termFormat ChineseLanguage Seed "种子") domainEnglishFormat.kif 51998-51998
(termFormat ChineseTraditionalLanguage Seed "種子") domainEnglishFormat.kif 51997-51997
(termFormat EnglishLanguage Seed "seed") domainEnglishFormat.kif 51996-51996

antecedent
-------------------------


(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4744-4749
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))
Economy.kif 4808-4814
(=>
    (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 4647-4658
(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))
Economy.kif 4954-4958
(=>
    (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