No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29126-29126 |
atomicNumber Actinium and 89 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27792-27792 |
atomicNumber Aluminum and 13 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29232-29232 |
atomicNumber Americium and 95 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28426-28426 |
atomicNumber Antimony and 51 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27875-27875 |
atomicNumber Argon and 18 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28123-28123 |
atomicNumber Arsenic and 33 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29059-29059 |
atomicNumber Astatine and 85 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28520-28520 |
atomicNumber Barium and 56 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29266-29266 |
atomicNumber Berkelium and 97 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27632-27632 |
atomicNumber Beryllium and 4 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29024-29024 |
atomicNumber Bismuth and 83 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27648-27648 |
atomicNumber Boron and 5 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28154-28154 |
atomicNumber Bromine and 35 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28378-28378 |
atomicNumber Cadmium and 48 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28494-28494 |
atomicNumber Caesium and 55 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27906-27906 |
atomicNumber Calcium and 20 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29283-29283 |
atomicNumber Californium and 98 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27667-27667 |
atomicNumber Carbon and 6 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28556-28556 |
atomicNumber Cerium and 58 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27858-27858 |
atomicNumber Chlorine and 17 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27980-27980 |
atomicNumber Chromium and 24 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28026-28026 |
atomicNumber Cobalt and 27 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28057-28057 |
atomicNumber Copper and 29 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29249-29249 |
atomicNumber Curium and 96 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28704-28704 |
atomicNumber Dysprosium and 66 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |