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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vitamin

 Sigma KEE - Vitamin
Vitamin(vitamine)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3455-3456
No TPTP formula. May not be expressible in strict first order. Merge.kif 14705-14707
No TPTP formula. May not be expressible in strict first order. Merge.kif 14704-14704 Vitamine est une sous-classe de nutriment

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2436-2436 VitaminA est une sous-classe de vitamine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2448-2448 VitaminBComplex est une sous-classe de vitamine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2610-2610 VitaminC est une sous-classe de vitamine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2629-2629 VitaminD est une sous-classe de vitamine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2655-2655 VitaminE est une sous-classe de vitamine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2665-2665 VitaminK est une sous-classe de vitamine
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1009-1009
No TPTP formula. May not be expressible in strict first order. english_format.kif 1230-1230
No TPTP formula. May not be expressible in strict first order. french_format.kif 686-686
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order. terms-it.txt 220-220
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2370-2370
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 638-638
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 222-222
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 254-254
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 707-707
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 221-221

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 Nutriment est disjointement decompos� en prot�ine, hydrate de carbone, + vitamine


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