Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VitaminBComplex

 Sigma KEE - VitaminBComplex
VitaminBComplex

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2448-2448 VitaminBComplex est une sous-classe de vitamine

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2452-2452 VitaminB1 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2598-2598 VitaminB12 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2471-2471 VitaminB2 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2486-2486 VitaminB3 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2525-2525 VitaminB5 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2542-2542 VitaminB6 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2559-2559 VitaminB7 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2570-2570 VitaminB9 est une sous-classe de VitaminBComplex
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2450-2450
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2449-2449


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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