No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27022-27022 |
Actinium is a conventional short name of "Ac" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26301-26301 |
Silver is a conventional short name of "Ag" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3001-3001 |
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 25764-25764 |
Aluminum is a conventional short name of "Al" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27122-27122 |
Americium is a conventional short name of "Am" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3047-3047 |
Antarctic seals convention is a conventional short name of "Antarctic Seals" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3041-3041 |
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 25842-25842 |
Argon is a conventional short name of "Ar" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26075-26075 |
Arsenic is a conventional short name of "As" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26959-26959 |
Astatine is a conventional short name of "At" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26854-26854 |
Gold is a conventional short name of "Au" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25628-25628 |
Boron is a conventional short name of "B" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26449-26449 |
Barium is a conventional short name of "Ba" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3108-3108 |
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 25613-25613 |
Beryllium is a conventional short name of "Be" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26926-26926 |
Bismuth is a conventional short name of "Bi" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27154-27154 |
Berkelium is a conventional short name of "Bk" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4731-4731 |
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 26104-26104 |
Bromine is a conventional short name of "Br" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25646-25646 |
Carbon is a conventional short name of "C" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25871-25871 |
Calcium is a conventional short name of "Ca" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26315-26315 |
Cadmium is a conventional short name of "Cd" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26483-26483 |
Cerium is a conventional short name of "Ce" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27170-27170 |
Californium is a conventional short name of "Cf" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25826-25826 |
Chlorine is a conventional short name of "Cl" |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |