| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28809-28809 |
Actinium is a conventional short name of "Ac" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28046-28046 |
Silver is a conventional short name of "Ag" |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3142-3142 |
Air pollution convention is a conventional short name of "Air Pollution" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27475-27475 |
Aluminum is a conventional short name of "Al" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28915-28915 |
Americium is a conventional short name of "Am" |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3188-3188 |
Antarctic seals convention is a conventional short name of "Antarctic Seals" |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3182-3182 |
Antarctic- marine living resources convention is a conventional short name of "Antarctic-Marine Living Resources" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27558-27558 |
Argon is a conventional short name of "Ar" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27806-27806 |
Arsenic is a conventional short name of "As" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28742-28742 |
Astatine is a conventional short name of "At" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28631-28631 |
Gold is a conventional short name of "Au" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27331-27331 |
Boron is a conventional short name of "B" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28203-28203 |
Barium is a conventional short name of "Ba" |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3249-3249 |
Hazardous wastes convention is a conventional short name of "Basel Convention" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27315-27315 |
Beryllium is a conventional short name of "Be" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28707-28707 |
Bismuth is a conventional short name of "Bi" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28949-28949 |
Berkelium is a conventional short name of "Bk" |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4800-4800 |
US customs and border protection is a conventional short name of "Border Patrol" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27837-27837 |
Bromine is a conventional short name of "Br" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27350-27350 |
Carbon is a conventional short name of "C" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27589-27589 |
Calcium is a conventional short name of "Ca" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28061-28061 |
Cadmium is a conventional short name of "Cd" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28239-28239 |
Cerium is a conventional short name of "Ce" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28966-28966 |
Californium is a conventional short name of "Cf" |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27541-27541 |
Chlorine is a conventional short name of "Cl" |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
conventionalShortName