No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20302-20302 |
Alligator inhabits china |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20301-20301 |
Alligator inhabits united states |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20317-20317 |
Badger inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20316-20316 |
Badger inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20315-20315 |
Badger inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20314-20314 |
Badger inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20331-20331 |
Bear inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20330-20330 |
Bear inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20329-20329 |
Bear inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20332-20332 |
Bear inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30594-30594 |
Cheetah inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30593-30593 |
Cheetah inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30572-30572 |
Crocodile inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30570-30570 |
Crocodile inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30573-30573 |
Crocodile inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30569-30569 |
Crocodile inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30571-30571 |
Crocodile inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30574-30574 |
Crocodile inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20343-20343 |
Kangaroo inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30496-30496 |
Lemur inhabits madagascar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30396-30396 |
Lion inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30397-30397 |
Lion inhabits india |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20352-20352 |
Llama inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20351-20351 |
Llama inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30513-30513 |
Panda inhabits china |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |