| NordicCouncil(nordic council)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | The day 16 is a date established of nordic council |
| 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 | Nordic council is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3669-3669 | Cultural cooperation is an organizational objective of nordic council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3668-3668 | Economic cooperation is an organizational objective of nordic council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3670-3670 | Environmental cooperation is an organizational objective of nordic council |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3666-3666 | "NC" is an abbreviation of nordic council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3665-3665 | Nordic council is a conventional long name of "Nordic Council" |
| 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 |
|
|
|