No TPTP formula. May not be expressible in strict first order.	Government.kif 3436-3436	International committee of the red cross is a conventional short name of "Red Cross"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28003-28003	Rhodium is a conventional short name of "Rh"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28747-28747	Radon is a conventional short name of "Rn"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27987-27987	Ruthenium is a conventional short name of "Ru"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27513-27513	Sulphur is a conventional short name of "S"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28097-28097	Antimony is a conventional short name of "Sb"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27592-27592	Scandium is a conventional short name of "Sc"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27810-27810	Selenium is a conventional short name of "Se"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3294-3294	Ship pollution protocol is a conventional short name of "Ship Pollution"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27481-27481	Silicon is a conventional short name of "Si"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28306-28306	Samarium is a conventional short name of "Sm"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28081-28081	Tin is a conventional short name of "Sn"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27878-27878	Strontium is a conventional short name of "Sr"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28507-28507	Tantalum is a conventional short name of "Ta"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28360-28360	Terbium is a conventional short name of "Tb"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27968-27968	Technetium is a conventional short name of "Tc"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28114-28114	Tellurium is a conventional short name of "Te"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28815-28815	Thorium is a conventional short name of "Th"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27608-27608	Titanium is a conventional short name of "Ti"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28657-28657	Thallium is a conventional short name of "Tl"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28438-28438	Thulium is a conventional short name of "Tm"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3301-3301	Tropical timber83 agreement is a conventional short name of "Tropical Timber 83"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3307-3307	Tropical timber94 agreement is a conventional short name of "Tropical Timber 94"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28849-28849	Uranium is a conventional short name of "U"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3939-3939	United nations general assembly is a conventional short name of "UN General Assembly"
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