PatikulPhilippines
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2192-2192 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3385-3385 | Patikul菲律賓 是 菲律賓 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2191-2191 | 例 patikul菲律賓 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3386-3386 | 名 "Patikul" and patikul菲律賓 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44808-44808 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44807-44807 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44806-44806 |