No TPTP formula. May not be expressible in strict first order. |
Geography.kif 139-139 |
中非 是 非洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 140-140 |
東非 是 非洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 141-141 |
北非 是 非洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 142-142 |
非洲南部 是 非洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 143-143 |
西非 是 非洲 的 geographic 次要地區 |
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 30558-30558 |
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 30360-30360 |
Lion inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30440-30440 |
Parrot inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30423-30423 |
Rhinoceros inhabits 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3522-3522 |
名 "Africa" and 非洲 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 275-275 |
方位 歐洲, 非洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 286-286 |
方位 中東地區, 非洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 126-126 |
部分 摩洛哥 and 非洲 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5724-5724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5723-5723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5722-5722 |
|