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

Formal Language: 



Term 1: Term 2:

(subclass VitaminBComplex Vitamin) Medicine.kif 2448-2448
(subclass VitaminB1 VitaminBComplex) Medicine.kif 2452-2452
(subclass VitaminB2 VitaminBComplex) Medicine.kif 2471-2471
(subclass VitaminB3 VitaminBComplex) Medicine.kif 2486-2486
(subclass VitaminB5 VitaminBComplex) Medicine.kif 2525-2525
(subclass VitaminB6 VitaminBComplex) Medicine.kif 2542-2542
(subclass VitaminB7 VitaminBComplex) Medicine.kif 2559-2559
(subclass VitaminB9 VitaminBComplex) Medicine.kif 2570-2570
(subclass VitaminB12 VitaminBComplex) Medicine.kif 2598-2598


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