No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30728-30728 |
Actinium is a conventional short name of "Ac" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29965-29965 |
Silver is a conventional short name of "Ag" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3438-3438 |
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 29394-29394 |
Aluminum is a conventional short name of "Al" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30834-30834 |
Americium is a conventional short name of "Am" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3484-3484 |
Antarctic seals convention is a conventional short name of "Antarctic Seals" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3478-3478 |
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 29477-29477 |
Argon is a conventional short name of "Ar" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29725-29725 |
Arsenic is a conventional short name of "As" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30661-30661 |
Astatine is a conventional short name of "At" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30550-30550 |
Gold is a conventional short name of "Au" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
Boron is a conventional short name of "B" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30122-30122 |
Barium is a conventional short name of "Ba" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3545-3545 |
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 29234-29234 |
Beryllium is a conventional short name of "Be" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30626-30626 |
Bismuth is a conventional short name of "Bi" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30868-30868 |
Berkelium is a conventional short name of "Bk" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4761-4761 |
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 29756-29756 |
Bromine is a conventional short name of "Br" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29269-29269 |
Carbon is a conventional short name of "C" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29508-29508 |
Calcium is a conventional short name of "Ca" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29980-29980 |
Cadmium is a conventional short name of "Cd" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30158-30158 |
Cerium is a conventional short name of "Ce" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30885-30885 |
Californium is a conventional short name of "Cf" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29460-29460 |
Chlorine is a conventional short name of "Cl" |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |