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

Formal Language: 



Term 1: Term 2:

(subclass Fruit FruitOrVegetable) Economy.kif 3984-3984
(subclass CoffeeBean Fruit) Mid-level-ontology.kif 21117-21117
(subclass Grapefruit Fruit) Food.kif 567-567
(subclass Peach Fruit) Food.kif 710-710
(subclass TamarindFruit Fruit) Food.kif 900-900
(subclass Tomato Fruit) Economy.kif 3986-3986
(subclass Grape Fruit) Economy.kif 3993-3993
(subclass Berry Fruit) Economy.kif 4007-4007
(subclass Apple Fruit) Economy.kif 4014-4014
(subclass Olive Fruit) Economy.kif 4021-4021
(subclass CitrusFruit Fruit) Economy.kif 4028-4028
(subclass TropicalFruit Fruit) Economy.kif 4049-4049


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