|
|
   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 est une sous-classe de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 391-391 | Andorra est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 349-349 | Belgium est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 847-847 | Czechoslovakia est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 316-316 | Denmark est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 319-319 | Finland est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 351-351 | France est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 280-280 | Germany est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 332-332 | Greece est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 334-334 | HolySee est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 321-321 | Iceland est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 354-354 | Ireland est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 336-336 | Italy est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 338-338 | Malta est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 360-360 | Monaco est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 362-362 | Netherlands est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 324-324 | Norway est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 286-286 | Poland est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 394-394 | Portugal est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 340-340 | SanMarino est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 80-80 | SovietUnion est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 396-396 | Spain est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 327-327 | Sweden est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 292-292 | Switzerland est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 364-364 | UnitedKingdom est une instance 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 est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel |
|
|
|
