| appearance as argument number 1 |
|
| (disjoint HerbaceousPlant WoodyPlant) | Mid-level-ontology.kif 10704-10704 | |
| (documentation HerbaceousPlant EnglishLanguage "HerbaceousPlants are vascular plants that have no woody stems above ground.") | Mid-level-ontology.kif 10705-10706 | |
| (subclass HerbaceousPlant FloweringPlant) | Mid-level-ontology.kif 10703-10703 |
| appearance as argument number 2 |
|
|
| (subclass AlfalfaPlant HerbaceousPlant) | Economy.kif 5160-5160 | |
| (subclass CabbagePlant HerbaceousPlant) | Economy.kif 4594-4594 | |
| (subclass Chrysanthemum HerbaceousPlant) | Economy.kif 5210-5210 | |
| (subclass CloverPlant HerbaceousPlant) | Economy.kif 5174-5174 | |
| (subclass CucumberPlant HerbaceousPlant) | Economy.kif 4566-4566 | |
| (subclass EggplantPlant HerbaceousPlant) | Economy.kif 4620-4620 | |
| (subclass Grass HerbaceousPlant) | Mid-level-ontology.kif 10719-10719 | |
| (subclass Orchid HerbaceousPlant) | Economy.kif 5206-5206 | |
| (subclass Poppy HerbaceousPlant) | Economy.kif 5200-5200 | |
| (subclass Sunflower HerbaceousPlant) | Economy.kif 4844-4844 | |
| (subclass Tobacco HerbaceousPlant) | Mid-level-ontology.kif 10728-10728 | |
| (termFormat ChineseLanguage HerbaceousPlant "草本植物") | Mid-level-ontology.kif 10708-10708 | |
| (termFormat ChineseTraditionalLanguage HerbaceousPlant "草本植物") | Mid-level-ontology.kif 10709-10709 | |
| (termFormat EnglishLanguage HerbaceousPlant "herbaceous plant") | Mid-level-ontology.kif 10707-10707 |
| consequent |
|
|
| (=> (equal ?P (PlantFn Basil)) (subclass ?P HerbaceousPlant)) |
Food.kif 2177-2179 | |
| (=> (equal ?P (PlantFn ButternutSquash)) (subclass ?P HerbaceousPlant)) |
Food.kif 2410-2412 | |
| (=> (equal ?P (PlantFn Celery)) (subclass ?P HerbaceousPlant)) |
Food.kif 2434-2436 | |
| (=> (equal ?P (PlantFn Cilantro)) (subclass ?P HerbaceousPlant)) |
Food.kif 2536-2538 | |
| (=> (equal ?P (PlantFn Garlic)) (subclass ?P HerbaceousPlant)) |
Food.kif 2591-2593 | |
| (=> (equal ?P (PlantFn Mint)) (subclass ?P HerbaceousPlant)) |
Food.kif 2679-2681 | |
| (=> (equal ?P (PlantFn Mustard)) (subclass ?P HerbaceousPlant)) |
Food.kif 2703-2705 | |
| (=> (equal ?P (PlantFn Parsley)) (subclass ?P HerbaceousPlant)) |
Food.kif 2740-2742 | |
| (=> (equal ?P (PlantFn Scallion)) (subclass ?P HerbaceousPlant)) |
Food.kif 3367-3369 | |
| (=> (equal ?P (PlantFn Sesame)) (subclass ?P HerbaceousPlant)) |
Food.kif 3404-3406 | |
| (=> (equal ?P (PlantFn Strawberry)) (subclass ?P HerbaceousPlant)) |
Food.kif 3490-3492 |
|
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