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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HerbaceousPlant
HerbaceousPlant

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


(disjoint HerbaceousPlant WoodyPlant) Mid-level-ontology.kif 10253-10253 HerbaceousPlant is disjoint from WoodyPlant
(documentation HerbaceousPlant EnglishLanguage "HerbaceousPlants are vascular plants that have no woody stems above ground.") Mid-level-ontology.kif 10254-10255 HerbaceousPlant is disjoint from WoodyPlant
(subclass HerbaceousPlant FloweringPlant) Mid-level-ontology.kif 10252-10252 HerbaceousPlant is a subclass of flowering plant
(termFormat HerbaceousPlant ChineseLanguage "草本植物") Mid-level-ontology.kif 10257-10257 HerbaceousPlant is a subclass of flowering plant
(termFormat HerbaceousPlant ChineseTraditionalLanguage "草本植物") Mid-level-ontology.kif 10258-10258 HerbaceousPlant is a subclass of flowering plant
(termFormat HerbaceousPlant EnglishLanguage "herbaceous plant") Mid-level-ontology.kif 10256-10256 HerbaceousPlant is a subclass of flowering plant

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


(subclass AlfalfaPlant HerbaceousPlant) Economy.kif 5030-5030 Alfalfa plant is a subclass of HerbaceousPlant
(subclass CabbagePlant HerbaceousPlant) Economy.kif 4467-4467 Cabbage plant is a subclass of HerbaceousPlant
(subclass Chrysanthemum HerbaceousPlant) Economy.kif 5080-5080 Chrysanthemum is a subclass of HerbaceousPlant
(subclass CloverPlant HerbaceousPlant) Economy.kif 5044-5044 Clover plant is a subclass of HerbaceousPlant
(subclass CucumberPlant HerbaceousPlant) Economy.kif 4439-4439 Cucumber plant is a subclass of HerbaceousPlant
(subclass EggplantPlant HerbaceousPlant) Economy.kif 4493-4493 EggplantPlant is a subclass of HerbaceousPlant
(subclass Grass HerbaceousPlant) Mid-level-ontology.kif 10268-10268 Grass plant is a subclass of HerbaceousPlant
(subclass Orchid HerbaceousPlant) Economy.kif 5076-5076 Orchid is a subclass of HerbaceousPlant
(subclass Poppy HerbaceousPlant) Economy.kif 5070-5070 Poppy is a subclass of HerbaceousPlant
(subclass Sunflower HerbaceousPlant) Economy.kif 4716-4716 Sunflower is a subclass of HerbaceousPlant
(subclass Tobacco HerbaceousPlant) Mid-level-ontology.kif 10277-10277 Tobacco is a subclass of HerbaceousPlant

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


(=>
    (equal ?P
        (PlantFn Basil))
    (subclass ?P HerbaceousPlant))		 Food.kif 2170-2172
(=>
    (equal ?P
        (PlantFn ButternutSquash))
    (subclass ?P HerbaceousPlant))		 Food.kif 2403-2405
(=>
    (equal ?P
        (PlantFn Celery))
    (subclass ?P HerbaceousPlant))		 Food.kif 2427-2429
(=>
    (equal ?P
        (PlantFn Cilantro))
    (subclass ?P HerbaceousPlant))		 Food.kif 2529-2531
(=>
    (equal ?P
        (PlantFn Garlic))
    (subclass ?P HerbaceousPlant))		 Food.kif 2584-2586
(=>
    (equal ?P
        (PlantFn Mint))
    (subclass ?P HerbaceousPlant))		 Food.kif 2672-2674
(=>
    (equal ?P
        (PlantFn Mustard))
    (subclass ?P HerbaceousPlant))		 Food.kif 2696-2698
(=>
    (equal ?P
        (PlantFn Parsley))
    (subclass ?P HerbaceousPlant))		 Food.kif 2733-2735
(=>
    (equal ?P
        (PlantFn Scallion))
    (subclass ?P HerbaceousPlant))		 Food.kif 3360-3362
(=>
    (equal ?P
        (PlantFn Sesame))
    (subclass ?P HerbaceousPlant))		 Food.kif 3397-3399
(=>
    (equal ?P
        (PlantFn Strawberry))
    (subclass ?P HerbaceousPlant))		 Food.kif 3483-3485


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