No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27368-27368	Nitrogen is a conventional short name of "N"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27441-27441	Sodium is a conventional short name of "Na"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27940-27940	Niobium is a conventional short name of "Nb"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28272-28272	Neodymium is a conventional short name of "Nd"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27423-27423	Neon is a conventional short name of "Ne"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27726-27726	Nickel is a conventional short name of "Ni"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29038-29038	Nobelium is a conventional short name of "No"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28877-28877	Neptunium is a conventional short name of "Np"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3279-3279	Nuclear test ban treaty is a conventional short name of "Nuclear Test Ban"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27386-27386	Oxygen is a conventional short name of "O"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28567-28567	Osmium is a conventional short name of "Os"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3285-3285	Ozone layer protection protocol is a conventional short name of "Ozone Layer Protection"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27510-27510	Phosphorus is a conventional short name of "P"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28844-28844	Protactinium is a conventional short name of "Pa"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28691-28691	Lead is a conventional short name of "Pb"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28030-28030	Palladium is a conventional short name of "Pd"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28298-28298	Promethium is a conventional short name of "Pm"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28725-28725	Polonium is a conventional short name of "Po"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28256-28256	Praseodymium is a conventional short name of "Pr"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28605-28605	Platinum is a conventional short name of "Pt"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28895-28895	Plutonium is a conventional short name of "Pu"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28793-28793	Radium is a conventional short name of "Ra"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3315-3315	Wetlands convention is a conventional short name of "Ramsar Convention"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27873-27873	Rubidium is a conventional short name of "Rb"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28552-28552	Rhenium is a conventional short name of "Re"
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