|
|
  GuilinChina
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1759-1759 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1330-1330 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2886-2886 | geographicSubregion GuilinChina and China |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1758-1758 | GuilinChina e' uma instancia de Cidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2887-2887 | GuilinChina se chama nome "Guilin" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26982-26982 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26981-26981 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26980-26980 |
|
|
|
