No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30729-30729 |
89 is an atomic number of actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29395-29395 |
13 is an atomic number of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30835-30835 |
95 is an atomic number of americium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30029-30029 |
51 is an atomic number of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29478-29478 |
18 is an atomic number of argon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29726-29726 |
33 is an atomic number of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30662-30662 |
85 is an atomic number of astatine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30123-30123 |
56 is an atomic number of barium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30869-30869 |
97 is an atomic number of berkelium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29235-29235 |
4 is an atomic number of beryllium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30627-30627 |
83 is an atomic number of bismuth |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29251-29251 |
5 is an atomic number of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29757-29757 |
35 is an atomic number of bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29981-29981 |
48 is an atomic number of cadmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30097-30097 |
55 is an atomic number of caesium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29509-29509 |
20 is an atomic number of calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30886-30886 |
98 is an atomic number of californium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29270-29270 |
6 is an atomic number of carbon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30159-30159 |
58 is an atomic number of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29461-29461 |
17 is an atomic number of chlorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29583-29583 |
24 is an atomic number of chromium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29629-29629 |
27 is an atomic number of cobalt |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29660-29660 |
29 is an atomic number of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30852-30852 |
96 is an atomic number of curium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30307-30307 |
66 is an atomic number of dysprosium |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |