No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16768-16768 |
The expected value of Alligator is 790 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16781-16781 |
The expected value of Badger is 20 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16796-16796 |
The expected value of Bear is 500 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26782-26782 |
The expected value of cheetah is 150 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26758-26758 |
The expected value of crocodile is 2000 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26799-26799 |
The expected value of ferret is 2 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26817-26817 |
The expected value of guinea pig is 2 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16810-16810 |
The expected value of Kangaroo is 18 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16818-16818 |
The expected value of Llama is 18 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26718-26718 |
The expected value of octopus is 33 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26704-26704 |
The expected value of panda is 240 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26740-26740 |
The expected value of reindeer is 300 pound mass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16827-16827 |
The expected value of Skunk is 5 pound mass(s) |