| NordicCouncil
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3631-3631 | 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 3628-3628 | NordicCouncil est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3633-3633 | organizationalObjective NordicCouncil and CulturalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | organizationalObjective NordicCouncil and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3634-3634 | organizationalObjective NordicCouncil and EnvironmentalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3630-3630 | abbreviation "NC" and NordicCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3629-3629 | conventionalLongName "Nordic Council" and NordicCouncil |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40913-40913 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40912-40912 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40911-40911 |
|
|
|