NordicCouncil |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | dateEstablished NordicCouncil and o dia 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 e' uma instancia 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 |