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


KB Term:  Term intersection
English Word: 

Sigma KEE - Seed
Seed(seed)
more pictures...

appearance as argument number 1
-------------------------


(subclass Seed ReproductiveBody) Merge.kif 15211-15211 Seed is a subclass of reproductive body
(subclass Seed PlantAnatomicalStructure) Merge.kif 15212-15212 Seed is a subclass of plant anatomical structure
(documentation Seed EnglishLanguage "The fertilized or unfertilized female ReproductiveBody of a FloweringPlant.") Merge.kif 15213-15214 Seed is a subclass of plant anatomical structure
(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 Seed is a subclass of plant anatomical structure
(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 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/f/fc/ Seed_fockea_edulis.jpg") pictureList-ImageNet.kif 894-894 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b7/ KoreanPineSeeds.jpg/ 150px_KoreanPineSeeds.jpg") pictureList-ImageNet.kif 895-895 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/6/65/ Fennel_seed.jpg") pictureList-ImageNet.kif 896-896 Seed is a subclass of plant anatomical structure
(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 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Tonburi_Seed.JPG") pictureList-ImageNet.kif 898-898 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/6/61/ Cornus_racemosa_seed.jpg") pictureList-ImageNet.kif 899-899 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/5/5c/ Seed_jatropha_gossypifolia.jpg") pictureList-ImageNet.kif 900-900 Seed is a subclass of plant anatomical structure
(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 Seed is a subclass of plant anatomical structure
(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 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1c/ Celery_seed.jpg/ 800px_Celery_seed.jpg") pictureList-ImageNet.kif 903-903 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4f/ Acer_seed.jpg/ 585px_Acer_seed.jpg") pictureList-ImageNet.kif 904-904 Seed is a subclass of plant anatomical structure
(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 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Witlof_Cichorium_intybus_var._foliosum_seeds.jpg") pictureList.kif 164-164 Seed is a subclass of plant anatomical structure
(externalImage Seed "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Budowa_nasienia_dwuliscienne.png") pictureList.kif 1974-1974 Seed is a subclass of plant anatomical structure

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


(subclass CerealGrain Seed) Economy.kif 4358-4358 Cereal grain is a subclass of seed
(subclass Pea Seed) Economy.kif 4444-4444 Pea is a subclass of seed
(subclass NorfolkIslandPineSeed Seed) Economy.kif 4830-4830 Norfolk island pine seed is a subclass of seed
(subclass KentiaPalmSeed Seed) Economy.kif 4833-4833 Kentia palm seed is a subclass of seed
(subclass SunflowerSeed Seed) Economy.kif 4836-4836 Sunflower seed is a subclass of seed
(subclass Oilseed Seed) Economy.kif 4842-4842 Oilseed is a subclass of seed
(subclass CoffeeBean Seed) Economy.kif 4957-4957 Coffee bean is a subclass of seed
(subclass CocoaBean Seed) Economy.kif 5019-5019 Cocoa bean is a subclass of seed
(subclass Sesame Seed) Food.kif 3400-3400 Sesame is a subclass of seed
(termFormat EnglishLanguage Seed "seed") domainEnglishFormat.kif 51958-51958 Sesame is a subclass of seed
(termFormat ChineseTraditionalLanguage Seed "種子") domainEnglishFormat.kif 51959-51959 Sesame is a subclass of seed
(termFormat ChineseLanguage Seed "种子") domainEnglishFormat.kif 51960-51960 Sesame is a subclass of seed

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


(=>
    (instance ?SEED Seed)
    (exists (?PLANT ?TIME)
        (and
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?SEED ?PLANT)))))
Merge.kif 15216-15221 If X is an instance of seed, then there exist Y, Z such that Y is an instance of flowering plant, and X is a part of Y holds during Z
(=>
    (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 4865-4876 If equal X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4962-4967 If equal X and Object made from Y, X is a subclass of coffee bean, and Y is a subclass of seed, then every Y is initially part of a coffee plant
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))
Economy.kif 5026-5032 If equal X and Object made from Y, X is a subclass of cocoa bean, and Y is a subclass of seed, then every Y is initially part of a cocoa tree
(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))
Economy.kif 5174-5178 If X is a subclass of seed and equal X and clover, then every X is initially part of a clover plant

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


(=>
    (and
        (instance ?H Hulling)
        (patient ?H ?O))
    (or
        (instance ?O Seed)
        (instance ?O Fruit)))
Food.kif 174-180 If X is an instance of hulling and Y is a patient of X, then Y is an instance of seed or Y is an instance of fruit


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