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 9356-9356 HerbaceousPlant est une sous-classe de plant florissante
(subclass Grass HerbaceousPlant) Mid-level-ontology.kif 9372-9372 Grass est une sous-classe de HerbaceousPlant
(subclass Tobacco HerbaceousPlant) Mid-level-ontology.kif 9381-9381 Tobacco est une sous-classe de HerbaceousPlant
(subclass CucumberPlant HerbaceousPlant) Economy.kif 4229-4229 CucumberPlant est une sous-classe de HerbaceousPlant
(subclass CabbagePlant HerbaceousPlant) Economy.kif 4257-4257 CabbagePlant est une sous-classe de HerbaceousPlant
(subclass EggplantPlant HerbaceousPlant) Economy.kif 4283-4283 EggplantPlant est une sous-classe de HerbaceousPlant
(subclass Sunflower HerbaceousPlant) Economy.kif 4506-4506 Sunflower est une sous-classe de HerbaceousPlant
(subclass AlfalfaPlant HerbaceousPlant) Economy.kif 4820-4820 AlfalfaPlant est une sous-classe de HerbaceousPlant
(subclass CloverPlant HerbaceousPlant) Economy.kif 4834-4834 CloverPlant est une sous-classe de HerbaceousPlant
(subclass Poppy HerbaceousPlant) Economy.kif 4860-4860 Poppy est une sous-classe de HerbaceousPlant
(subclass Orchid HerbaceousPlant) Economy.kif 4866-4866 Orchid est une sous-classe de HerbaceousPlant
(subclass Chrysanthemum HerbaceousPlant) Economy.kif 4870-4870 Chrysanthemum est une sous-classe de 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