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

Formal Language: 



Term 1: Term 2:

(subclass VitaminBComplex Vitamin) Medicine.kif 2448-2448 VitaminBComplexビタミンsubclass では %n
(subclass VitaminB1 VitaminBComplex) Medicine.kif 2452-2452 VitaminB1VitaminBComplexsubclass では %n
(subclass VitaminB2 VitaminBComplex) Medicine.kif 2471-2471 VitaminB2VitaminBComplexsubclass では %n
(subclass VitaminB3 VitaminBComplex) Medicine.kif 2486-2486 VitaminB3VitaminBComplexsubclass では %n
(subclass VitaminB5 VitaminBComplex) Medicine.kif 2525-2525 VitaminB5VitaminBComplexsubclass では %n
(subclass VitaminB6 VitaminBComplex) Medicine.kif 2542-2542 VitaminB6VitaminBComplexsubclass では %n
(subclass VitaminB7 VitaminBComplex) Medicine.kif 2559-2559 VitaminB7VitaminBComplexsubclass では %n
(subclass VitaminB9 VitaminBComplex) Medicine.kif 2570-2570 VitaminB9VitaminBComplexsubclass では %n
(subclass VitaminB12 VitaminBComplex) Medicine.kif 2598-2598 VitaminB12VitaminBComplexsubclass では %n


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