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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HerbaceousPlant

 Sigma KEE - HerbaceousPlant
HerbaceousPlant

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


(disjoint HerbaceousPlant WoodyPlant) Mid-level-ontology.kif 9384-9384 HerbaceousPlant 和 % 2 是 disjoint
(documentation HerbaceousPlant EnglishLanguage "HerbaceousPlants are vascular plants that have no woody stems above ground.") Mid-level-ontology.kif 9385-9386
(subclass HerbaceousPlant FloweringPlant) Mid-level-ontology.kif 9383-9383 HerbaceousPlant 是 开花植物 的 subclass
(termFormat HerbaceousPlant ChineseLanguage "草本植物") Mid-level-ontology.kif 9388-9388
(termFormat HerbaceousPlant ChineseTraditionalLanguage "草本植物") Mid-level-ontology.kif 9389-9389
(termFormat HerbaceousPlant EnglishLanguage "herbaceous plant") Mid-level-ontology.kif 9387-9387

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


(subclass AlfalfaPlant HerbaceousPlant) Economy.kif 4820-4820 AlfalfaPlant 是 HerbaceousPlant 的 subclass
(subclass CabbagePlant HerbaceousPlant) Economy.kif 4257-4257 CabbagePlant 是 HerbaceousPlant 的 subclass
(subclass Chrysanthemum HerbaceousPlant) Economy.kif 4870-4870 菊花 是 HerbaceousPlant 的 subclass
(subclass CloverPlant HerbaceousPlant) Economy.kif 4834-4834 CloverPlant 是 HerbaceousPlant 的 subclass
(subclass CucumberPlant HerbaceousPlant) Economy.kif 4229-4229 CucumberPlant 是 HerbaceousPlant 的 subclass
(subclass EggplantPlant HerbaceousPlant) Economy.kif 4283-4283 EggplantPlant 是 HerbaceousPlant 的 subclass
(subclass Grass HerbaceousPlant) Mid-level-ontology.kif 9399-9399 草 是 HerbaceousPlant 的 subclass
(subclass Orchid HerbaceousPlant) Economy.kif 4866-4866 兰花 是 HerbaceousPlant 的 subclass
(subclass Poppy HerbaceousPlant) Economy.kif 4860-4860 罂粟 是 HerbaceousPlant 的 subclass
(subclass Sunflower HerbaceousPlant) Economy.kif 4506-4506 向日葵 是 HerbaceousPlant 的 subclass
(subclass Tobacco HerbaceousPlant) Mid-level-ontology.kif 9408-9408 烟草 是 HerbaceousPlant 的 subclass

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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