No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27285-27285	Helium is a conventional short name of "He"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28503-28503	Hafnium is a conventional short name of "Hf"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28652-28652	Mercury is a conventional short name of "Hg"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28408-28408	Holmium is a conventional short name of "Ho"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28142-28142	Iodine is a conventional short name of "I"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28077-28077	Indium is a conventional short name of "In"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28581-28581	Iridium is a conventional short name of "Ir"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27573-27573	Potassium is a conventional short name of "K"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27853-27853	Krypton is a conventional short name of "Kr"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3219-3219	Climate change- kyoto protocol is a conventional short name of "Kyoto Protocol"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28219-28219	Lanthanum is a conventional short name of "La"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3256-3256	Law of the sea convention is a conventional short name of "Law of the Sea"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27301-27301	Lithium is a conventional short name of "Li"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3265-3265	Marine dumping convention is a conventional short name of "London Convention"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29055-29055	Lawrencium is a conventional short name of "Lr"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28481-28481	Lutetium is a conventional short name of "Lu"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3295-3295	Ship pollution protocol is a conventional short name of "MARPOL"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3264-3264	Marine dumping convention is a conventional short name of "Marine Dumping"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3272-3272	Marine life conservation convention is a conventional short name of "Marine Life Conservation"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29020-29020	Mendelevium is a conventional short name of "Md"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27457-27457	Magnesium is a conventional short name of "Mg"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27677-27677	Manganese is a conventional short name of "Mn"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27957-27957	Molybdenum is a conventional short name of "Mo"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3287-3287	Ozone layer protection protocol is a conventional short name of "Montreal Protocol"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29152-29152	Meitnerium is a conventional short name of "Mt"
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