No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19604-19604 |
The expected value of Alligator is 790.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19617-19617 |
The expected value of Badger is 20.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19632-19632 |
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 29968-29968 |
The expected value of cheetah is 150.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29944-29944 |
The expected value of crocodile is 2000.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29985-29985 |
The expected value of ferret is 2.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30003-30003 |
The expected value of guinea pig is 2.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19646-19646 |
The expected value of Kangaroo is 18.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19654-19654 |
The expected value of Llama is 18.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29904-29904 |
The expected value of octopus is 33.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29890-29890 |
The expected value of panda is 240.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29926-29926 |
The expected value of reindeer is 300.0 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19663-19663 |
The expected value of Skunk is 5.0 pound mass(s) |