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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " Witlof_Cichorium_intybus_var._foliosum_seeds.jpg") pictureList.kif 164-164
(externalImage Seed " Budowa_nasienia-dwuliscienne.png") pictureList.kif 1975-1975
(externalImage Seed " Seed_jatropha_gossypifolia.jpg") pictureList-ImageNet.kif 900-900
(externalImage Seed " Cornus_racemosa_seed.jpg") pictureList-ImageNet.kif 899-899
(externalImage Seed " Fennel_seed.jpg") pictureList-ImageNet.kif 896-896
(externalImage Seed " Tonburi_Seed.JPG") pictureList-ImageNet.kif 898-898
(externalImage Seed " Seed_fockea_edulis.jpg") pictureList-ImageNet.kif 894-894
(externalImage Seed " 1/ 1c/ Celery_seed.jpg/ 800px-Celery_seed.jpg") pictureList-ImageNet.kif 903-903
(externalImage Seed " 4/ 4f/ Acer_seed.jpg/ 585px-Acer_seed.jpg") pictureList-ImageNet.kif 904-904
(externalImage Seed " 5/ 54/ J_curcas_seed_ies.jpg/ 685px-J_curcas_seed_ies.jpg") pictureList-ImageNet.kif 892-892
(externalImage Seed " a/ a7/ Seed_jatropha_podagrica.jpg/ 800px-Seed_jatropha_podagrica.jpg") pictureList-ImageNet.kif 893-893
(externalImage Seed " b/ b7/ KoreanPineSeeds.jpg/ 150px-KoreanPineSeeds.jpg") pictureList-ImageNet.kif 895-895
(externalImage Seed " b/ bd/ Seed_jatropha_curcas.jpg/ 800px-Seed_jatropha_curcas.jpg") pictureList-ImageNet.kif 905-905
(externalImage Seed " b/ bd/ Seed_ornithogalum_caudatum.jpg/ 800px-Seed_ornithogalum_caudatum.jpg") pictureList-ImageNet.kif 902-902
(externalImage Seed " e/ e3/ Seed_ipomea_heterophylla.jpg/ 800px-Seed_ipomea_heterophylla.jpg") pictureList-ImageNet.kif 901-901
(externalImage Seed " f/ f7/ Seed_petopentia_natalensis.jpg/ 800px-Seed_petopentia_natalensis.jpg") pictureList-ImageNet.kif 897-897
(subclass Seed PlantAnatomicalStructure) Merge.kif 15037-15037 SeedPlantAnatomicalStructuresubclass では %n
(subclass Seed ReproductiveBody) Merge.kif 15036-15036 Seed生殖体subclass では %n

appearance as argument number 2

(subclass CerealGrain Seed) Economy.kif 4026-4026 CerealGrainSeedsubclass では %n
(subclass CocoaBean Seed) Economy.kif 4686-4686 CocoaBeanSeedsubclass では %n
(subclass CoffeeBean Seed) Economy.kif 4624-4624 CoffeeBeanSeedsubclass では %n
(subclass KentiaPalmSeed Seed) Economy.kif 4500-4500 KentiaPalmSeedSeedsubclass では %n
(subclass NorfolkIslandPineSeed Seed) Economy.kif 4497-4497 NorfolkIslandPineSeedSeedsubclass では %n
(subclass Oilseed Seed) Economy.kif 4509-4509 OilseedSeedsubclass では %n
(subclass Pea Seed) Economy.kif 4112-4112 PeaSeedsubclass では %n
(subclass Sesame Seed) Food.kif 3391-3391 SesameSeedsubclass では %n
(subclass SunflowerSeed Seed) Economy.kif 4503-4503 SunflowerSeedSeedsubclass では %n
(termFormat ChineseLanguage Seed "种子") domainEnglishFormat.kif 51963-51963
(termFormat ChineseTraditionalLanguage Seed "種子") domainEnglishFormat.kif 51962-51962
(termFormat EnglishLanguage Seed "seed") domainEnglishFormat.kif 51961-51961


        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))
Economy.kif 4629-4634
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))
Economy.kif 4693-4699
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))
Economy.kif 4532-4543
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))
Economy.kif 4839-4843
    (instance ?SEED Seed)
    (exists (?PLANT ?TIME)
            (instance ?PLANT FloweringPlant)
            (holdsDuring ?TIME
                (part ?SEED ?PLANT)))))
Merge.kif 15041-15046


        (instance ?H Hulling)
        (patient ?H ?O))
        (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