|
|
   EuropeanNation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3321-3321 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3483-3483 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3484-3484 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3486-3486 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3485-3485 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 73-73 | EuropeanNation e' uma sub-classe de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 391-391 | Andorra e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 349-349 | Belgium e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 847-847 | Czechoslovakia e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 316-316 | Denmark e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 319-319 | Finland e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 351-351 | France e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 280-280 | Germany e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 332-332 | Greece e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 334-334 | HolySee e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 321-321 | Iceland e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 354-354 | Ireland e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 336-336 | Italy e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 338-338 | Malta e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 360-360 | Monaco e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 362-362 | Netherlands e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 324-324 | Norway e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 286-286 | Poland e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 394-394 | Portugal e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 340-340 | SanMarino e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 80-80 | SovietUnion e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 396-396 | Spain e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 327-327 | Sweden e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 292-292 | Switzerland e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 364-364 | UnitedKingdom e' uma instancia de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22576-22576 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 76-78 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal |
|
|
|
