|
|
  NordicCouncil
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | dateEstablished NordicCouncil and le jour 16 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6732-6732 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7446-7446 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7447-7447 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3664-3664 | NordicCouncil est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3669-3669 | organizationalObjective NordicCouncil and CulturalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3668-3668 | organizationalObjective NordicCouncil and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3670-3670 | organizationalObjective NordicCouncil and EnvironmentalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3666-3666 | abbreviation "NC" and NordicCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3665-3665 | conventionalLongName "Nordic Council" and NordicCouncil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40911-40911 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40910-40910 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40909-40909 |
|
|
|
