No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21250-21250 |
Botany is a sub-field of biology |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21209-21209 |
Cartography is a sub-field of geography |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21287-21287 |
Electrical engineering is a sub-field of engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21292-21292 |
Electronics is a sub-field of engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21291-21291 |
Electronics is a sub-field of physics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21307-21307 |
Mechanical engineering is a sub-field of engineering |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21300-21300 |
Mechanics is a sub-field of mathematics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21301-21301 |
Mechanics is a sub-field of physics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21240-21240 |
Medical science is a sub-field of biology |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21235-21235 |
Physiology is a sub-field of biology |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21297-21297 |
Power electronics is a sub-field of electronics |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21244-21244 |
Veterinary medicine is a sub-field of medical science |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21255-21255 |
Zoology is a sub-field of biology |