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

Formal Language: 

Term 1: Term 2:

(subclass EdibleNut ReproductiveBody) Economy.kif 4017-4017 subclass EdibleNut and ReproductiveBody
(subclass EdibleNut FruitOrVegetable) Economy.kif 4020-4020 subclass EdibleNut and FruitOrVegetable
(subclass AlmondNut EdibleNut) Food.kif 419-419 subclass AlmondNut and EdibleNut
(subclass CashewNut EdibleNut) Food.kif 509-509 subclass CashewNut and EdibleNut
(subclass Walnut EdibleNut) Economy.kif 4022-4022 subclass Walnut and EdibleNut
(subclass PecanNut EdibleNut) Economy.kif 4024-4024 subclass PecanNut and EdibleNut
(subclass MacademiaNut EdibleNut) Economy.kif 4026-4026 subclass MacademiaNut and EdibleNut
(subclass SheaNut EdibleNut) Economy.kif 4028-4028 subclass SheaNut and EdibleNut
(subclass Peanut EdibleNut) Economy.kif 4031-4031 subclass Peanut and EdibleNut
(subclass PalmOilNut EdibleNut) Economy.kif 4064-4064 subclass PalmOilNut and EdibleNut

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners