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

Formal Language: 



Term 1: Term 2:

(subclass Vegetable FruitOrVegetable) Economy.kif 4206-4206
(subclass Celery Vegetable) Food.kif 2425-2425
(subclass WaterChestnut Vegetable) Food.kif 3647-3647
(subclass Zucchini Vegetable) Food.kif 3649-3649
(subclass LeafyGreenVegetable Vegetable) Economy.kif 4210-4210
(subclass Cucumber Vegetable) Economy.kif 4220-4220
(subclass Cabbage Vegetable) Economy.kif 4234-4234
(subclass Cauliflower Vegetable) Economy.kif 4262-4262
(subclass Eggplant Vegetable) Economy.kif 4271-4271
(subclass SweetPepper Vegetable) Economy.kif 4332-4332
(subclass Squash Vegetable) Economy.kif 4333-4333
(subclass SugarBeet Vegetable) Economy.kif 4334-4334
(subclass SugarCane Vegetable) Economy.kif 4352-4352
(subclass Ginger Vegetable) Economy.kif 4464-4464


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