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

Formal Language: 



Term 1: Term 2:

(subclass Vegetable FruitOrVegetable) Economy.kif 4206-4206 蔬菜 是 水果或蔬菜 的 subclass
(subclass Celery Vegetable) Food.kif 2425-2425 Celery 是 蔬菜 的 subclass
(subclass WaterChestnut Vegetable) Food.kif 3647-3647 WaterChestnut 是 蔬菜 的 subclass
(subclass Zucchini Vegetable) Food.kif 3649-3649 Zucchini 是 蔬菜 的 subclass
(subclass LeafyGreenVegetable Vegetable) Economy.kif 4210-4210 绿叶蔬菜 是 蔬菜 的 subclass
(subclass Cucumber Vegetable) Economy.kif 4220-4220 黄瓜 是 蔬菜 的 subclass
(subclass Cabbage Vegetable) Economy.kif 4234-4234 卷心菜 是 蔬菜 的 subclass
(subclass Cauliflower Vegetable) Economy.kif 4262-4262 菜花 是 蔬菜 的 subclass
(subclass Eggplant Vegetable) Economy.kif 4271-4271 茄子 是 蔬菜 的 subclass
(subclass SweetPepper Vegetable) Economy.kif 4332-4332 甜椒 是 蔬菜 的 subclass
(subclass Squash Vegetable) Economy.kif 4333-4333 南瓜屬 是 蔬菜 的 subclass
(subclass SugarBeet Vegetable) Economy.kif 4334-4334 甜菜 是 蔬菜 的 subclass
(subclass SugarCane Vegetable) Economy.kif 4352-4352 甘蔗 是 蔬菜 的 subclass
(subclass Ginger Vegetable) Economy.kif 4464-4464 生姜 是 蔬菜 的 subclass


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