No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20274-20274 |
Alligator inhabits china |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20273-20273 |
Alligator inhabits united states |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20289-20289 |
Badger inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20288-20288 |
Badger inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20287-20287 |
Badger inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20286-20286 |
Badger inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20303-20303 |
Bear inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20302-20302 |
Bear inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20301-20301 |
Bear inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20304-20304 |
Bear inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30558-30558 |
Cheetah inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30557-30557 |
Cheetah inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30536-30536 |
Crocodile inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30534-30534 |
Crocodile inhabits asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30537-30537 |
Crocodile inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30533-30533 |
Crocodile inhabits europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30535-30535 |
Crocodile inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30538-30538 |
Crocodile inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20315-20315 |
Kangaroo inhabits australia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30460-30460 |
Lemur inhabits madagascar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30360-30360 |
Lion inhabits africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30361-30361 |
Lion inhabits india |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20324-20324 |
Llama inhabits north america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20323-20323 |
Llama inhabits south america |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30477-30477 |
Panda inhabits china |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |