No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20301-20301 |
The expected value of bear is 500.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20304-20304 |
Bear inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20303-20303 |
Bear inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20302-20302 |
Bear inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20305-20305 |
Bear inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20292-20292 |
Bear is a subclass of carnivore |