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 20273-20273 |
Alligator 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 20286-20286 |
Badger 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 20301-20301 |
Bear 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 30558-30558 |
Cheetah inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30557-30557 |
Cheetah inhabits 亞洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30536-30536 |
Crocodile inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30534-30534 |
Crocodile inhabits 亞洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30537-30537 |
Crocodile inhabits 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30533-30533 |
Crocodile inhabits 歐洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30535-30535 |
Crocodile inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30538-30538 |
Crocodile inhabits 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20315-20315 |
Kangaroo inhabits 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30460-30460 |
Lemur inhabits 馬達加斯加 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30360-30360 |
Lion inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30361-30361 |
Lion 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 20323-20323 |
Llama inhabits 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30477-30477 |
Panda inhabits 中國 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |