No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27731-27735	Physique est une instance de Manganese physique est une instance de atome la mesure de physique est 54.938 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29206-29210	Physique est une instance de Meitnerium physique est une instance de atome la mesure de physique est 266 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29074-29078	Physique est une instance de Mendelevium physique est une instance de atome la mesure de physique est 256 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28706-28710	Physique est une instance de Mercury physique est une instance de atome la mesure de physique est 200.59 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28011-28015	Physique est une instance de Molybdenum physique est une instance de atome la mesure de physique est 95.94 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28326-28330	Physique est une instance de Neodymium physique est une instance de atome la mesure de physique est 144.24 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27477-27481	Physique est une instance de Neon physique est une instance de atome la mesure de physique est 20.183 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28931-28935	Physique est une instance de Neptunium physique est une instance de atome la mesure de physique est 237 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27780-27784	Physique est une instance de Nickel physique est une instance de atome la mesure de physique est 58.71 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27994-27998	Physique est une instance de Niobium physique est une instance de atome la mesure de physique est 92.906 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27422-27426	Physique est une instance de Nitrogen physique est une instance de atome la mesure de physique est 14.0067 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29092-29096	Physique est une instance de Nobelium physique est une instance de atome la mesure de physique est 254 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28621-28625	Physique est une instance de Osmium physique est une instance de atome la mesure de physique est 190.2 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27440-27444	Physique est une instance de Oxygen physique est une instance de atome la mesure de physique est 15.9994 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28084-28088	Physique est une instance de Palladium physique est une instance de atome la mesure de physique est 106.4 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27564-27568	Physique est une instance de Phosphorus physique est une instance de atome la mesure de physique est 30.9738 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28659-28663	Physique est une instance de Platinum physique est une instance de atome la mesure de physique est 195.078 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28949-28953	Physique est une instance de Plutonium physique est une instance de atome la mesure de physique est 242 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28779-28783	Physique est une instance de Polonium physique est une instance de atome la mesure de physique est 210 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27627-27631	Physique est une instance de Potassium physique est une instance de atome la mesure de physique est 39.0983 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28310-28314	Physique est une instance de Praseodymium physique est une instance de atome la mesure de physique est 140.907 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28352-28356	Physique est une instance de Promethium physique est une instance de atome la mesure de physique est 147 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28898-28902	Physique est une instance de Protactinium physique est une instance de atome la mesure de physique est 231 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28847-28851	Physique est une instance de Radium physique est une instance de atome la mesure de physique est 226 Amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28813-28817	Physique est une instance de Radon physique est une instance de atome la mesure de physique est 222 Amu(s)
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