Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?P
        (PlantFn Basil))
    (subclass ?P HerbaceousPlant))		 Food.kif 2170-2172
(=>
    (equal ?P
        (PlantFn Mint))
    (subclass ?P HerbaceousPlant))		 Food.kif 2672-2674
(=>
    (equal ?P
        (PlantFn Sesame))
    (subclass ?P HerbaceousPlant))		 Food.kif 3397-3399
(=>
    (equal ?P
        (PlantFn ButternutSquash))
    (subclass ?P HerbaceousPlant))		 Food.kif 2403-2405
(=>
    (equal ?P
        (PlantFn Garlic))
    (subclass ?P HerbaceousPlant))		 Food.kif 2584-2586
(=>
    (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 Scallion))
    (subclass ?P HerbaceousPlant))		 Food.kif 3360-3362
(=>
    (equal ?P
        (PlantFn Parsley))
    (subclass ?P HerbaceousPlant))		 Food.kif 2733-2735
(=>
    (equal ?P
        (PlantFn Strawberry))
    (subclass ?P HerbaceousPlant))		 Food.kif 3483-3485
(=>
    (equal ?P
        (PlantFn Mustard))
    (subclass ?P HerbaceousPlant))		 Food.kif 2696-2698
(subclass HerbaceousPlant FloweringPlant) Mid-level-ontology.kif 9383-9383 HerbaceousPlant ist eine teilkategorie von FloweringPlant
(subclass Grass HerbaceousPlant) Mid-level-ontology.kif 9399-9399 Grass ist eine teilkategorie von HerbaceousPlant
(subclass Tobacco HerbaceousPlant) Mid-level-ontology.kif 9408-9408 Tobacco ist eine teilkategorie von HerbaceousPlant
(subclass CucumberPlant HerbaceousPlant) Economy.kif 4229-4229 CucumberPlant ist eine teilkategorie von HerbaceousPlant
(subclass CabbagePlant HerbaceousPlant) Economy.kif 4257-4257 CabbagePlant ist eine teilkategorie von HerbaceousPlant
(subclass EggplantPlant HerbaceousPlant) Economy.kif 4283-4283 EggplantPlant ist eine teilkategorie von HerbaceousPlant
(subclass Sunflower HerbaceousPlant) Economy.kif 4506-4506 Sunflower ist eine teilkategorie von HerbaceousPlant
(subclass AlfalfaPlant HerbaceousPlant) Economy.kif 4820-4820 AlfalfaPlant ist eine teilkategorie von HerbaceousPlant
(subclass CloverPlant HerbaceousPlant) Economy.kif 4834-4834 CloverPlant ist eine teilkategorie von HerbaceousPlant
(subclass Poppy HerbaceousPlant) Economy.kif 4860-4860 Poppy ist eine teilkategorie von HerbaceousPlant
(subclass Orchid HerbaceousPlant) Economy.kif 4866-4866 Orchid ist eine teilkategorie von HerbaceousPlant
(subclass Chrysanthemum HerbaceousPlant) Economy.kif 4870-4870 Chrysanthemum ist eine teilkategorie von HerbaceousPlant


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