UniformResourceName
|
|
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 | geographicSubregion SoutheasternAsia and Asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 268-268 | geographicSubregion SoutheasternAsia and EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 104-104 | SoutheasternAsia e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 269-269 | SoutheasternAsia engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | SoutheasternAsia engloba SouthernHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 598-598 | geographicSubregion AshmoreAndCartierIslands and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 599-599 | geographicSubregion Brunei and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 604-604 | geographicSubregion Cambodia and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 606-606 | geographicSubregion ChristmasIsland and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 607-607 | geographicSubregion CocosKeelingIslands and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 608-608 | geographicSubregion EastTimor and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 610-610 | geographicSubregion Indonesia and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 612-612 | geographicSubregion Laos and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 614-614 | geographicSubregion Malaysia and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 601-601 | geographicSubregion Myanmar and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 616-616 | geographicSubregion PapuaNewGuinea and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 618-618 | geographicSubregion ParacelIslands and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 619-619 | geographicSubregion Philippines and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 621-621 | geographicSubregion Singapore and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 623-623 | geographicSubregion SpratlyIslands and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 624-624 | geographicSubregion Thailand and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 626-626 | geographicSubregion Vietnam and SoutheasternAsia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 135-135 | SoutheasternAsia se chama nome "Southeastern Asia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54098-54098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54097-54097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54096-54096 |