habitatOfOrganism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30452-30452 | Parrot inhabits africa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30451-30451 | Parrot inhabits asia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30455-30455 | Parrot inhabits australia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30453-30453 | Parrot inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30454-30454 | Parrot inhabits south america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30528-30528 | Reindeer inhabits asia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30527-30527 | Reindeer inhabits europe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30529-30529 | Reindeer inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30435-30435 | Rhinoceros inhabits africa |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30434-30434 | Rhinoceros inhabits asia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20334-20334 | Skunk inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20333-20333 | Skunk inhabits south america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30414-30414 | Tiger inhabits asia |