No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28779-28779	Radium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28745-28745	Radon est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28538-28538	Rhenium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28001-28001	Rhodium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27859-27859	Rubidium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27985-27985	Ruthenium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28304-28304	Samarium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27590-27590	Scandium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27808-27808	Selenium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27479-27479	Silicon est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28032-28032	Silver est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27427-27427	Sodium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27876-27876	Strontium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1133-1133	Particule subatomique est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27511-27511	Sulphur est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28505-28505	Tantalum est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27966-27966	Technetium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28112-28112	Tellurium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28358-28358	Terbium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28655-28655	Thallium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28813-28813	Thorium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28436-28436	Thulium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28079-28079	Tin est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27606-27606	Titanium est une sous-classe de substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28522-28522	Tungsten 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