No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19580-19580 |
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 19593-19593 |
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 19608-19608 |
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 29944-29944 |
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 29920-29920 |
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 29961-29961 |
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 29979-29979 |
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 19622-19622 |
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 19630-19630 |
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 29880-29880 |
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 29866-29866 |
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 29902-29902 |
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 19639-19639 |
The expected value of Skunk is 5.0 pound mass(s) |