No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3924-3924 |
澳大利亞 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3732-3732 |
阿什莫爾和卡地亞島嶼 是 澳大利亞 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3754-3754 |
聖誕島 是 澳大利亞 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3758-3758 |
科科斯基林群島 是 澳大利亞 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3762-3762 |
珊瑚海島嶼 是 澳大利亞 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3787-3787 |
聽過島嶼和麥當勞群島 是 澳大利亞 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3825-3825 |
諾福克島 是 澳大利亞 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5106-5106 |
艾爾湖 是 澳大利亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3128-3128 |
林茨澳大利亞 是 澳大利亞 的 geographic 次要地區 |
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 20316-20316 |
Kangaroo inhabits 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30455-30455 |
Parrot inhabits 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4498-4498 |
HoldenCorporation 的 headquarters 是在 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4837-4837 |
SimmonsCorp 的 headquarters 是在 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4195-4195 |
名 "Australia" and 澳大利亞 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9072-9072 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9071-9071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9070-9070 |
|