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

Formal Language: 



Term 1: Term 2:

(subclass Vegetable FruitOrVegetable) Economy.kif 3841-3841
(subclass WaterChestnut Vegetable) Food.kif 1060-1060
(subclass Zucchini Vegetable) Food.kif 1062-1062
(subclass LeafyGreenVegetable Vegetable) Economy.kif 3843-3843
(subclass Cucumber Vegetable) Economy.kif 3850-3850
(subclass Cabbage Vegetable) Economy.kif 3857-3857
(subclass Cauliflower Vegetable) Economy.kif 3864-3864
(subclass Eggplant Vegetable) Economy.kif 3871-3871
(subclass SweetPepper Vegetable) Economy.kif 3878-3878
(subclass Squash Vegetable) Economy.kif 3916-3916
(subclass SugarBeet Vegetable) Economy.kif 3923-3923
(subclass Legume Vegetable) Economy.kif 3960-3960
(subclass SugarCane Vegetable) Economy.kif 3975-3975
(subclass Ginger Vegetable) Economy.kif 4150-4150


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