No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27443-27443	Magnesium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27663-27663	Manganese est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29138-29138	Meitnerium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29006-29006	Mendelevium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28638-28638	Mercury est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1101-1101	M�tal est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27943-27943	Molybdenum est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28258-28258	Neodymium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27409-27409	Neon est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28863-28863	Neptunium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27712-27712	Nickel est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27926-27926	Niobium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27354-27354	Nitrogen est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29024-29024	Nobelium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28553-28553	Osmium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27372-27372	Oxygen est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28016-28016	Palladium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27496-27496	Phosphorus est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28591-28591	Platinum est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28881-28881	Plutonium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28711-28711	Polonium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27559-27559	Potassium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28242-28242	Praseodymium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28284-28284	Promethium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28830-28830	Protactinium 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