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

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Medicine.kif 2448-2448 VitaminBComplex维生素subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2452-2452 VitaminB1VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2471-2471 VitaminB2VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2486-2486 VitaminB3VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2525-2525 VitaminB5VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2542-2542 VitaminB6VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2559-2559 VitaminB7VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2570-2570 VitaminB9VitaminBComplexsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2598-2598 VitaminB12VitaminBComplexsubclass


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