ZarauzSpain
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2479-2479 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3700-3700 | Zarauz spain is a geographic subregion of spain |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2478-2478 | Zarauz spain is an instance of city |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3701-3701 | Zarauz spain has name "Zarauz" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64107-64107 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64106-64106 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64105-64105 |