No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20275-20275 |
Alligator inhabits china |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20274-20274 |
Alligator inhabits united states |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20290-20290 |
Badger inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20289-20289 |
Badger inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20288-20288 |
Badger inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20287-20287 |
Badger inhabits north america |
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 30570-30570 |
Cheetah inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30569-30569 |
Cheetah inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30548-30548 |
Crocodile inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30546-30546 |
Crocodile inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30549-30549 |
Crocodile inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30545-30545 |
Crocodile inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30547-30547 |
Crocodile inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30550-30550 |
Crocodile inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20316-20316 |
Kangaroo inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30472-30472 |
Lemur inhabits madagascar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30372-30372 |
Lion inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30373-30373 |
Lion inhabits india |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20325-20325 |
Llama inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20324-20324 |
Llama inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30489-30489 |
Panda inhabits china |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |