| appearance as argument number 1 |
|
| (disjoint HerbaceousPlant WoodyPlant) | Mid-level-ontology.kif 10181-10181 | |
| (documentation HerbaceousPlant EnglishLanguage "HerbaceousPlants are vascular plants that have no woody stems above ground.") | Mid-level-ontology.kif 10182-10183 | |
| (subclass HerbaceousPlant FloweringPlant) | Mid-level-ontology.kif 10180-10180 | |
| (termFormat HerbaceousPlant ChineseLanguage "草本植物") | Mid-level-ontology.kif 10185-10185 | |
| (termFormat HerbaceousPlant ChineseTraditionalLanguage "草本植物") | Mid-level-ontology.kif 10186-10186 | |
| (termFormat HerbaceousPlant EnglishLanguage "herbaceous plant") | Mid-level-ontology.kif 10184-10184 |
| appearance as argument number 2 |
|
|
| (subclass AlfalfaPlant HerbaceousPlant) | Economy.kif 5035-5035 | |
| (subclass CabbagePlant HerbaceousPlant) | Economy.kif 4472-4472 | |
| (subclass Chrysanthemum HerbaceousPlant) | Economy.kif 5085-5085 | |
| (subclass CloverPlant HerbaceousPlant) | Economy.kif 5049-5049 | |
| (subclass CucumberPlant HerbaceousPlant) | Economy.kif 4444-4444 | |
| (subclass EggplantPlant HerbaceousPlant) | Economy.kif 4498-4498 | |
| (subclass Grass HerbaceousPlant) | Mid-level-ontology.kif 10196-10196 | |
| (subclass Orchid HerbaceousPlant) | Economy.kif 5081-5081 | |
| (subclass Poppy HerbaceousPlant) | Economy.kif 5075-5075 | |
| (subclass Sunflower HerbaceousPlant) | Economy.kif 4721-4721 | |
| (subclass Tobacco HerbaceousPlant) | Mid-level-ontology.kif 10205-10205 |
| 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