| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20275-20275 |
Alligator inhabits 中國 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20274-20274 |
Alligator inhabits 美國 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20290-20290 |
Badger inhabits 非洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20289-20289 |
Badger inhabits 亞洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20288-20288 |
Badger inhabits 歐洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20287-20287 |
Badger inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20304-20304 |
Bear inhabits 亞洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20303-20303 |
Bear inhabits 歐洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20302-20302 |
Bear inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20305-20305 |
Bear inhabits 南美洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30570-30570 |
Cheetah inhabits 非洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30569-30569 |
Cheetah inhabits 亞洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30548-30548 |
Crocodile inhabits 非洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30546-30546 |
Crocodile inhabits 亞洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30549-30549 |
Crocodile inhabits 澳大利亞 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30545-30545 |
Crocodile inhabits 歐洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30547-30547 |
Crocodile inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30550-30550 |
Crocodile inhabits 南美洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20316-20316 |
Kangaroo inhabits 澳大利亞 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30472-30472 |
Lemur inhabits 馬達加斯加 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30372-30372 |
Lion inhabits 非洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30373-30373 |
Lion inhabits 印度 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20325-20325 |
Llama inhabits 北美 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20324-20324 |
Llama inhabits 南美洲 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30489-30489 |
Panda inhabits 中國 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
habitatOfOrganism