ElementalSubstance(substance �l�mentaire)

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28373-28373 Dysprosium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28970-28970 Einsteinium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28419-28419 Erbium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28325-28325 Europium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28990-28990 Fermium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27392-27392 Fluorine est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28763-28763 Francium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28341-28341 Gadolinium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27758-27758 Gallium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27776-27776 Germanium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28617-28617 Gold est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28489-28489 Hafnium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27271-27271 Helium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28394-28394 Holmium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27255-27255 Hydrogen est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28063-28063 Indium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28128-28128 Iodine est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28567-28567 Iridium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27678-27678 Iron est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27839-27839 Krypton est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28205-28205 Lanthanum est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29041-29041 Lawrencium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28677-28677 Lead est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27287-27287 Lithium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28467-28467 Lutetium est une sous-classe de substance �l�mentaire

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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