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 |