SoutheasternAsia
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6876-6876 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7928-7928 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7929-7929 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7930-7930 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7931-7931 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7932-7932 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7933-7933 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7936-7936 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 183-183 | Southeastern asia is a geographic subregion of asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 268-268 | Southeastern asia is a geographic subregion of eastern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 104-104 | Southeastern asia is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 269-269 | Southeastern asia and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | Southeastern asia and southern hemisphere overlapsSpatially |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 598-598 | Ashmore and cartier islands is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 599-599 | Brunei is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 604-604 | Cambodia is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 606-606 | Christmas island is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 607-607 | Cocos keeling islands is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 608-608 | East timor is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 610-610 | Indonesia is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 612-612 | Laos is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 614-614 | Malaysia is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 601-601 | Myanmar is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 616-616 | Papua new guinea is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 618-618 | Paracel islands is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 619-619 | Philippines is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 621-621 | Singapore is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 623-623 | Spratly islands is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 624-624 | Thailand is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 626-626 | Vietnam is a geographic subregion of southeastern asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 135-135 | Southeastern asia has name "Southeastern Asia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54096-54096 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54095-54095 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54094-54094 |